A Quick Tour of the VeriFast Program Verifier. Jacobs, B., Smans, J., & Piessens, F. In APLAS, volume 6461, of Lecture Notes in Computer Science, pages 304–311, 2010. Springer.
bibtex   
@inproceedings{DBLP:conf/aplas/JacobsSP10,
  author    = {Bart Jacobs and
               Jan Smans and
               Frank Piessens},
  title     = {A Quick Tour of the VeriFast Program Verifier},
  booktitle = {{APLAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6461},
  pages     = {304--311},
  publisher = {Springer},
  year      = {2010}
}
Downloads: 0