Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |