Birgmeier, Johannes
Full name Familienname, Vorname
Birgmeier, Johannes
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Birgmeier, Johannes | Software verification with IC3 via abstraction and interpolation | Thesis Hochschulschrift | 2013 |