Checking Correctness Properties of Object-Oriented Programs (Lecture 4)
- Rustan Leino
EEF summer school on Specification, Refinement, and Verification Turku, Finland |
Published by Microsoft Research
Open problems in programming methodology.
EEF summer school on Specification, Refinement, and Verification Turku, Finland |
Published by Microsoft Research
Open problems in programming methodology.