TY  - RPRT
TI  - EUForia: Complete Software Model Checking with Uninterpreted Functions.
AU  - Bueno, Denis
PY  - 2019
DO  - 10.1007/978-3-030-11245-5_17
UR  - https://www.osti.gov/biblio/1592217
ID  - 1592217
ER  -