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