An improved repository system for effective and efficient reuse of formal verification efforts

  1. Nores, M.L.
  2. Díaz Redondo, R.P.
  3. Pazos Arias, J.J.
  4. Duque, J.G.
Actas:
Proceedings - Asia-Pacific Software Engineering Conference, APSEC

ISSN: 1530-1362

ISBN: 0769522459

Ano de publicación: 2004

Páxinas: 38-45

Tipo: Achega congreso

DOI: 10.1109/APSEC.2004.28 GOOGLE SCHOLAR
Fonte de datos: Scopus