An Example for Reusing Verification Knowledge by Using Formal Techniques

Áreas de investigación:	Sin categoría	Año:	2000
Tipo de publicación:	Artículo en conferencia
Autores:	2, 12 3
Título del libro:	4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI)
Dirección:	Orlando, EEUU
Mes:	Julio
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", }