An Example for Reusing Verification Knowledge by Using Formal Techniques

Research areas:	Uncategorized	Year:	2000
Type of Publication:	In Proceedings
Authors:	2, 12 3
Book title:	4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI)
Address:	Orlando, EEUU
Month:	July
BibTex:
@conference{PDGB00, author = "2,3,12,Ana Bel{\'e}n Barrag{\'a}ns Mart{\'i}nez", address = "Orlando, EEUU", booktitle = "4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI)", month = "jul", title = "{A}n {E}xample for {R}eusing {V}erification {K}nowledge by {U}sing {F}ormal {T}echniques", year = "2000", }