Special issue on formal methods for industrial critical systems [selection of papers from the proceedings of the 5th ERCIM International Workshop on Formal Methods for Industrial Critical Systems, Berlin in March 2000]

Bibliographische Detailangaben

Körperschaften:	European Research Consortium for Informatics and Mathematics (BerichterstatterIn), International Workshop on Formal Methods for Industrial Critical Systems (BerichterstatterIn)
Weitere Verfasser:	Garavel, Hubert (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2003
Schriftenreihe:	Science of computer programming 46.2003,3
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!