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.
Actes:
Proceedings - Asia-Pacific Software Engineering Conference, APSEC

ISSN: 1530-1362

ISBN: 0769522459

Any de publicació: 2004

Pàgines: 38-45

Tipus: Aportació congrés

DOI: 10.1109/APSEC.2004.28 GOOGLE SCHOLAR
Font de les dades: Scopus