Name Card

Full name Familienname, Vorname
Birgmeier, Johannes
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Birgmeier, Johannes ; Bradley, Aaron R. ; Weissenbacher, Georg Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)Konferenzbeitrag Inproceedings2014
2Birgmeier Johannes - 2013 - Software verification with IC3 via abstraction and...pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013