Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers

Bibliographische Detailangaben

Körperschaft:	ISoLA (VerfasserIn)
Weitere Verfasser:	Lamprecht, Anna-Lena (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2016
Schriftenreihe:	Communications in computer and information science 683
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis Full Text Full Text
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!