Sciweavers

ECOOP
1994
Springer

Methods as Assertions

14 years 3 months ago
Methods as Assertions
John Lamping, Martín Abadi
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where ECOOP
Authors John Lamping, Martín Abadi
Comments (0)