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
Año de publicación: 2003
Volumen: 2890
Páginas: 366-380
Tipo: Artículo