![](/img/cover-not-exists.png)
A search-based procedure for nonlinear real arithmetic
Tiwari, Ashish, Lincoln, PatrickVolume:
48
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-016-0245-8
Date:
June, 2016
File:
PDF, 653 KB
english, 2016