Title
Advances in Usability of Formal Methods for Code Verification with Frama-C.
Year
DOI
Venue
2019
10.14279/tuj.eceasst.77.1108
ECEASST
Field
DocType
Volume
Software engineering,Computer science,Usability,Theoretical computer science,Formal methods
Journal
77
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
André Oliveira Maroneze100.34
Valentin Perrelle201.01
Florent Kirchner300.68