@inproceedings{jpm:fvip:07,
  author = {Correia, Jos\'e Pedro and Magalh\~aes, Jos\'e Pedro and {Sousa Pinto}, Jorge},
  booktitle = {Proceedings of the Conference on Compilers, Related Technologies and Applications ({CoRTA} 2007)},
  editor = {Henriques, P. and Santos, V. and Sousa, S.},
  isbn = {978-972-8790-70-7},
  pages = {74--85},
  publisher = {Beira Interior University},
  title = {Formally Verifying Imperative Programs},
  url = {{http://dreixel.net/research/pdf/fvip.pdf}},
  year = {2007},
}