@inproceedings{leino2006building,
author = {Leino, Rustan and Qadeer, Shaz},
title = {Building a Program Verifier},
booktitle = {Guest lecture, Shaz Qadeer's cse599f, Formal Verification of Computer Systems, University of Washington, Seattle, WA},
year = {2006},
month = {May},
abstract = {Spec# research goals

 	Build the best such system we can build today
 	Experiment with the system to get a feel for what it is like to use
 	Advance the state of the art},
publisher = {Microsoft Research},
url = {http://approjects.co.za/?big=en-us/research/publication/building-program-verifier/},
edition = {Guest lecture, Shaz Qadeer's cse599f, Formal Verification of Computer Systems, University of Washington, Seattle, WA},
}