Login / Signup

CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).

Pavel S. AndrianovKarlheinz FriedbergerMikhail U. MandrykinVadim S. MutilinAnton Volkov
Published in: TACAS (2) (2017)
Keyphrases