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

  • Rustan Leino

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

Published by Microsoft Research

论文与出版物

下载 BibTex

Semantics of object-oriented programming languages.