TY  - RPRT
TI  - The Reachability of Computer Programs
AU  - Reginaldo I. Silva Filho
AU  - Ricardo L. Azevedo da Rocha
AU  - Camila Leite Silva
AU  - Ricardo H. Gracini Guiraldelli
PY  - 2017
UR  - https://arxiv.org/abs/1708.06877
ID  - 1708.06877
ER  -