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
Ano de publicación: 2003
Volume: 2890
Páxinas: 366-380
Tipo: Artigo