%0 Conference Paper
%B ECEASSTvv
%D 2015
%T Studying Verification Conditions for Imperative Programs
%A Cláudio Belo Lourenço
%A Lamraoui, Si-Mohamed
%A Shin Nakajima
%A Jorge Sousa Pinto
%U http://journal.ub.tu-berlin.de/eceasst/article/view/1011
%V 72
%X <p>n/a</p>
%Z <p>n/a</p>
%> https://haslab.uminho.pt/sites/default/files/claudio/files/1011-3093-1-pb.pdf