Belo Lourenço, C., Lamraoui, S.-M., Nakajima, S., & Sousa Pinto, J. (2015). Studying Verification Conditions for Imperative Programs. Electronic Communications of the EASST, 72. https://doi.org/10.14279/tuj.eceasst.72.1011