Dafny: An Automatic Program Verifier for Functional Correctness
Logic for Programming, Artificial Intelligence, and Reasoning, p.348-370 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 9783642175107 ;ISBN: 3642175104 ;EISSN: 1611-3349 ;EISBN: 9783642175114 ;EISBN: 3642175112 ;DOI: 10.1007/978-3-642-17511-4_20
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 | ||