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
Ano de publicación: 2004
Páxinas: 38-45
Tipo: Achega congreso