An improved repository system for effective and efficient reuse of formal verification efforts
- Nores, M.L.
- Díaz Redondo, R.P.
- Pazos Arias, J.J.
- Duque, J.G.
ISSN: 1530-1362
ISBN: 0769522459
Datum der Publikation: 2004
Seiten: 38-45
Art: Konferenz-Beitrag