ARIFS: An environment for incomplete and formal specifications reuse
- Redondo, R.P.D.
- Arias, J.J.P.
- Vilas, A.F.
- Martínez, B.B.
ISSN: 1571-0661
Argitalpen urtea: 2002
Alea: 66
Zenbakia: 4
Orrialdeak: 16-35
Mota: Biltzar ekarpena
ISSN: 1571-0661
Argitalpen urtea: 2002
Alea: 66
Zenbakia: 4
Orrialdeak: 16-35
Mota: Biltzar ekarpena