Static Analysis

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Static Analysis
 
ISBN
978-3-031-22308-2
 
Publisher Herausgeber
Springer Nature Switzerland AG
 
Place of publishing Erscheinungsort
Cham, Switzerland
 
DOI
10.1007/978-3-031-22308-2
 
Volume Band
13790
 

Publications Publikationen


Filter:
Author:  Veith, Helmut

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

PreviewAuthor(s)TitleTypeIssue Date
1Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011