@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},
  series = {{CoRTA} '07},
  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},
  year = {2007},
}