Maroneze, A., Perrelle, V. and Kirchner, F. (2019) “Advances in Usability of Formal Methods for Code Verification with Frama-C”, Electronic Communications of the EASST, 77. doi: 10.14279/tuj.eceasst.77.1108.