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
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||