Integrated formal methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings

Bibliographische Detailangaben

Körperschaft:	International Conference on Integrated Formal Methods (VerfasserIn)
Weitere Verfasser:	Polikarpova, Nadia (HerausgeberIn), Schneider, Steve (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2017
Schriftenreihe:	Lecture notes in computer science 10510
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!