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

Research areas:	Uncategorized	Year:	2004
Type of Publication:	In Proceedings
Authors:	8, 2 3
Book title:	11th Asia-Pacific Software Engineering Conference (APSEC)
Pages:	38-45
Address:	Busan, Korea
Month:	December
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", }