@article {PintoJS:stuvcip,
	title = {Studying Verification Conditions for Imperative Programs},
	journal = {{ECEASST}},
	volume = {72},
	year = {2015},
	note = {<p>Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVOCS{\textquoteright}15)</p>
},
	abstract = {<p>n/a</p>
},
	url = {http://journal.ub.tu-berlin.de/eceasst/article/view/1011},
	author = {Cl{\'a}udio Belo Louren{\c c}o and Si{-}Mohamed Lamraoui and Shin Nakajima and Jorge Sousa Pinto}
}