Search results for: Gary T. Leavens
Formal Aspects of Computing > 2018 > 30 > 3-4 > 381-441
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 2 > 211-235
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 520-534
Lecture Notes in Computer Science > ECOOP 2002 — Object-Oriented Programming > Miscellaneous > 231-255
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2006 Workshop Reader > Program Reasoning > 53-58
Lecture Notes in Computer Science > ECOOP 2008 – Object-Oriented Programming > Session III > 155-179
Lecture Notes in Computer Science > FM’99 — Formal Methods > European Theory and Practice of Software (ETAPS) > 1087-1106
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Programming Language and Methodology Aspects > 134-143
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Assertional Methods > 342-363