Technologies for Finding Errors in Object-Oriented Software (Lecture 3)

  • Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia |

Published by Microsoft Research

论文与出版物

下载 BibTex

Programming methodology for object invariants and modifications of state.