Lourenço CB, Lamraoui S-M, Nakajima S, Pinto JS.? 2015.??Studying Verification Conditions for Imperative Programs. ECEASSTvv. 72