Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus
Simple interpolants for linear arithmetic
DATE, 2014.
@inproceedings{DATE-2014-SchollPDA,
author = "Christoph Scholl and Florian Pigorsch and Stefan Disch and Ernst Althaus",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.128",
pages = "1--6",
publisher = "{IEEE}",
title = "{Simple interpolants for linear arithmetic}",
year = 2014,
}