%0 Journal Article
%J {ECEASST}
%D 2015
%T Studying Verification Conditions for Imperative Programs
%A Cláudio Belo Lourenço
%A Si{-}Mohamed Lamraoui
%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>Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVOCS'15)</p>