Automatic system verification by means of formal methods

Research areas:	Uncategorized	Year:	2000
Type of Publication:	In Proceedings
Authors:	5, 2 4
Volume:	3
Book title:	Proc of ICSSEA
Address:	Paris, France
Month:	December
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", }