Sciweavers

JOT
2006
46views more  JOT 2006»

Reasoning About Method Calls in Interface Specifications

15 years 7 months ago
Reasoning About Method Calls in Interface Specifications
Ádám Darvas, Peter Müller
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JOT
Authors Ádám Darvas, Peter Müller
Comments (0)