Computer Aided Verification

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Computer Aided Verification
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Filter:
Author:  Zuleger, Florian
Date Issued:  [2010 TO 2019]
Date Issued:  2014

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

PreviewAuthor(s)TitleTypeIssue Date
1Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisKonferenzbeitrag Inproceedings 2014