Special section on formal methods for industrial critical systems (FMICS 2009 + FMICS 2010)

Bibliographische Detailangaben

Körperschaft:	FMICS (VerfasserIn)
Weitere Verfasser:	Alpuente, María (BerichterstatterIn), Ancona, Davide (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2013
Schriftenreihe:	Science of computer programming 78,7
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!