An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts

Áreas de investigación:	Sin categoría	Año:	2004
Tipo de publicación:	Artículo en conferencia
Autores:	8, 2 3
Título del libro:	11th Asia-Pacific Software Engineering Conference (APSEC)
Páginas:	38-45
Dirección:	Busan, Korea
Mes:	Diciembre
BibTex:
@conference{LDPG04, author = "8,3,2,12", address = "Busan, Korea", booktitle = "11th Asia-Pacific Software Engineering Conference (APSEC)", month = "dec", pages = "38-45", publisher = "IEEE Computer Society Press", title = "{A}n {I}mproved {R}epository {S}ystem for {E}ffective and {E}fficient {R}euse of {F}ormal {V}erification {E}fforts", year = "2004", }