Automatic system verification by means of formal methods

Áreas de investigación:	Sin categoría	Año:	2000
Tipo de publicación:	Artículo en conferencia
Autores:	5, 2 4
Volumen:	3
Título del libro:	Proc of ICSSEA
Dirección:	Paris, France
Mes:	Diciembre
BibTex:
@conference{GFP00, author = "5,4,2", address = "Paris, France", booktitle = "Proc of ICSSEA", month = "dec", title = "{A}utomatic system verification by means of formal methods", volume = "3", year = "2000", }