Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings

Bibliographische Detailangaben

Hauptverfasser:	Alpuente, María, Cook, Byron, Joubert, Christophe
Format:	Buch
Sprache:	eng
Schlagworte:	Computer programs Congresses Formal methods (Computer science) Software engineering Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!