CSIsat: Interpolation for LA+EUF

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

No fulltext has been uploaded. References only!
Conference Paper | Published
; ;
Series Title
LNCS 5123
Publishing Year
Date Published
304 - 308
CAV: Computer Aided Verification

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.


Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar