2012 formal methods in software engineering: rigorous and agile approaches (FormSERA 2012) Zurich, Switzerland, 2 June 2012 ; [part of the 34th International Conference on Software Engineering (ICSE)]

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Gnesi, Stefania (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Piscataway, NJ IEEE 2012
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!