Belo Lourenço, C.; Lamraoui, S.-M.; Nakajima, S.; Sousa Pinto, J. Studying Verification Conditions for Imperative Programs. eceasst 2015, 72.