TY  - RPRT
TI  - Supporting the monitoring of the verification process of critical systems'software
AU  - Julio Escribano-Barreno
AU  - Marisol García-Valls
PY  - 2015
UR  - https://arxiv.org/abs/1512.04782
ID  - 1512.04782
ER  -