Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).
Marius GreitschusDaniel DietschMatthias HeizmannAlexander NutzClaus SchätzleChristian SchillingFrank SchüsseleAndreas PodelskiPublished in: TACAS (2) (2017)