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