TY  - RPRT
TI  - Symbolic Computation and Automated Reasoning for Program Analysis
AU  - Laura Kovacs
PY  - 2017
DO  - 10.1007/978-3-319-33693-0_2
UR  - https://arxiv.org/abs/1704.03202
ID  - 1704.03202
ER  -