![](/img/cover-not-exists.png)
[IEEE 2010 Second International Conference on Knowledge and Systems Engineering (KSE) - Hanoi, Vietnam (2010.10.7-2010.10.9)] 2010 Second International Conference on Knowledge and Systems Engineering - Extending CREST with Multiple SMT Solvers and Real Arithmetic
Huy, Do Quoc, Hoang, Truong Anh, Binh, Nguyen NgocYear:
2010
Language:
english
DOI:
10.1109/kse.2010.34
File:
PDF, 177 KB
english, 2010