@conference {DBLP:journals/eceasst/LourencoLNP15,
	title = {Studying Verification Conditions for Imperative Programs},
	booktitle = {ECEASSTvv},
	volume = {72},
	year = {2015},
	note = {<p>n/a</p>
},
	abstract = {<p>n/a</p>
},
	url = {http://journal.ub.tu-berlin.de/eceasst/article/view/1011},
	attachments = {https://haslab.uminho.pt/sites/default/files/claudio/files/1011-3093-1-pb.pdf},
	author = {Cl{\'a}udio Belo Louren{\c c}o and Lamraoui, Si-Mohamed and Shin Nakajima and Jorge Sousa Pinto}
}