TY  - RPRT
TI  - Towards the integration of formal specification in the Áncora methodology
AU  - Carlos Alberto Fernandez-y-Fernandez
AU  - Martín José José
PY  - 2011
UR  - https://arxiv.org/abs/1111.1022
ID  - 1111.1022
ER  -