Checking Correctness Properties of Object-Oriented Programs (Lecture 1)

• Rustan Leino

EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002

Published by Microsoft Research

论文与出版物