Sciweavers

1949 search results - page 10 / 390
» Protective Interface Specifications
Sort
View
JOT
2006
46views more  JOT 2006»
14 years 9 months ago
Reasoning About Method Calls in Interface Specifications
Ádám Darvas, Peter Müller