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
Year of publication: 2003
Volume: 2890
Pages: 366-380
Type: Article