Improving Interpolants for Linear Arithmetic.
- Publikationstyp:
- Konferenzbeitrag
- Metadaten:
-
- Autoren
- Ernst Althaus
- Björn Beber
- Joschka Kupilas
- Christoph Scholl
- Editoren
- Bernd Finkbeiner
- Geguang Pu
- Lijun Zhang
- ISBN-13
- 978-3-319-24952-0
- Zeitschrift
- ATVA
- Paginierung
- 48 - 63
- Datum der Veröffentlichung
- 2015
- Herausgeber
- Springer
- Herausgeber URL
- https://doi.org/10.1007/978-3-319-24953-7
- Titel
- Improving Interpolants for Linear Arithmetic.
- Ausgabe der Zeitschrift
- 9364
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
- Eigentum von