AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013

Book title Buchtitel
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013
 
Publisher Herausgeber
Springer LNCS 8172
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob SmacC: A Retargetable Symbolic Execution EngineKonferenzbeitrag Inproceedings 2013