Perrelle, Valentin, CEA, List, France
-
Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) - Articles
Advances in Usability of Formal Methods for Code Verification with Frama-C
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.