CSIsat: Interpolation for LA+EUF

Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF. CAV: Computer Aided Verification, LNCS 5123, , 304–308.

Download
No fulltext has been uploaded. References only!
Conference Paper | Published
Author
Beyer, Dirk; Zufferey, DamienISTA ; Majumdar, Ritankar S
Series Title
LNCS 5123
Publishing Year
Date Published
2008-01-01
Page
304 - 308
Conference
CAV: Computer Aided Verification
IST-REx-ID

Cite this

Beyer D, Zufferey D, Majumdar R. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.
Beyer, D., Zufferey, D., & Majumdar, R. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.
Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.
D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,” presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.
Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF. CAV: Computer Aided Verification, LNCS 5123, , 304–308.
Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.

Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar