Technologies for Finding Errors in Object-Oriented Software (Lecture 2)
- Rustan Leino
Summer school on Formal Models of Software Tunis, Tunisia |
Published by Microsoft Research
Semantics of object-oriented programming languages.
Summer school on Formal Models of Software Tunis, Tunisia |
Published by Microsoft Research
Semantics of object-oriented programming languages.