- Title: Subtitle
- Solving quantified verification conditions using satisfiability modulo theories
- Creators
- Yeting GeClark BarrettCesare Tinelli
- Resource Type
- Journal article
- Publication Details
- Annals of mathematics and artificial intelligence, Vol.55(1-2), pp.101-122
- DOI
- 10.1007/s10472-009-9153-6
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- Language
- English
- Date published
- 02/2009
- Academic Unit
- Computer Science
- Record Identifier
- 9984002482602771
Journal article
Solving quantified verification conditions using satisfiability modulo theories
Annals of mathematics and artificial intelligence, Vol.55(1-2), pp.101-122
02/2009
DOI: 10.1007/s10472-009-9153-6
Details
Metrics
24 Record Views