CSIsat: Interpolation for LA+EUF

D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.

Download
No fulltext has been uploaded. References only!
Conference Paper | Published
Author
; ;
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 IST Research Explorer

Search this title in

Google Scholar