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
Datum der Publikation: 2003
Ausgabe: 2890
Seiten: 366-380
Art: Artikel