Frama-C: A Software Analysis Perspective
Lecture notes in computer science, 2012, Vol.7504, p.233-247 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2012 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;ISBN: 3642338259 ;ISBN: 9783642338250 ;EISSN: 1611-3349 ;EISBN: 9783642338267 ;EISBN: 3642338267 ;DOI: 10.1007/978-3-642-33826-7_16
Digital Resources/Online E-Resources