VeriFast: Imperative Programs as Proofs. Jacobs, B., Smans, J., & Piessens, F. In VSTTE workshop on Tools & Experiments, August, 2010.
bibtex   
@inproceedings{VeriFastJacobs,
	Author = {B. Jacobs and J. Smans and F. Piessens},
	Booktitle = {VSTTE workshop on Tools \& Experiments},
	Month = {August},
	Title = {{VeriFast}: Imperative Programs as Proofs},
	Year = {2010}}

Downloads: 0