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

• Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

Published by Microsoft Research

论文与出版物