@inproceedings{leino2009a,
author = {Leino, Rustan and Müller, Peter and Smans, Jan},
title = {A Foundation for Verifying Concurrent Programs (Lecture 0)},
booktitle = {FOSAD 2009, Bertinoro, Italy},
year = {2009},
month = {September},
abstract = {Program verification



Prove program correctness for all possible inputs and behaviors



 },
publisher = {Microsoft Research},
url = {http://approjects.co.za/?big=en-us/research/publication/foundation-verifying-concurrent-programs-lecture-0/},
}