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:  Zuleger, Florian
Date Issued:  [2010 TO 2019]

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011
2Zuleger, Florian Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change AbstractionKonferenzbeitrag Inproceedings 2018