1. Improving Interpolants for Linear Arithmetic. Autoren: Althaus, Ernst; Beber, Björn; Kupilas, Joschka; Scholl, Christoph Editoren: Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun Veröffentlichungsdatum: 2015 Typ: Konferenzbeitrag