TY  - RPRT
TI  - Trade-offs in Encoding for Software Model Checking.
AU  - Bueno, Denis
PY  - 2018
UR  - https://www.osti.gov/biblio/1512059
ID  - 1512059
ER  -