مؤتمر
Extending CREST with Multiple SMT Solvers and Real Arithmetic
| العنوان: | Extending CREST with Multiple SMT Solvers and Real Arithmetic |
|---|---|
| المؤلفون: | Huy, Do Quoc, Hoang, Truong Anh, Binh, Nguyen Ngoc |
| المصدر: | 2010 Second International Conference on Knowledge and Systems Engineering Knowledge and Systems Engineering (KSE), 2010 Second International Conference on. :183-187 Oct, 2010 |
| Relation: | 2010 Second International Conference on Knowledge and Systems Engineering (KSE) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781424483341 |
|---|---|
| DOI: | 10.1109/KSE.2010.34 |