Formal methods and software engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ICFEM (BerichterstatterIn)
Weitere Verfasser:	Groves, Lindsay (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Heidelberg, Berlin u.a. Springer 2013
Schriftenreihe:	Lecture notes in computer science 8144
Schlagworte:	Konferenzschrift > Software Engineering > Formale Methode > Spezifikationstechnik > Programmverifikation > Softwaretest > Model Checking
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!