Sciweavers

ECOOP
1994
Springer

Methods as Assertions

15 years 26 days 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)