"Predicate Abstraction in Program Verification: Survey and Current Trends."

Jakub Daniel, Pavel Parízek (2014)

Details and statistics

DOI: 10.4230/OASICS.ICCSW.2014.27

access: open

type: Conference or Workshop Paper

metadata version: 2019-10-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics