TY  - RPRT
TI  - Integrating formal methods into traditional practices for software development: an overview
AU  - Carlos Alberto Fernandez-y-Fernandez
PY  - 2016
UR  - https://arxiv.org/abs/1412.3504
ID  - 1412.3504
ER  -