Improving the consistency checking process by reusing formal verification knowledge
- Díaz Redondo, R.P.
- Pazos Arias, J.J.
- Vilas, A.F.
- Duque, J.G.
- Solla, A.G.
ISSN: 0302-9743, 1611-3349
Argitalpen urtea: 2003
Alea: 2890
Orrialdeak: 366-380
Mota: Artikulua