Integrated formal methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings

Bibliographische Detailangaben

Körperschaft:	International Conference on Integrated Formal Methods (VerfasserIn)
Weitere Verfasser:	Furia, Carlo A. (HerausgeberIn), Winter, Kirsten (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2018
Schriftenreihe:	Lecture notes in computer science 11023
Schlagworte:	Konferenzschrift > Modellierung > Analyse
Online Zugang:	Full Text Inhaltsverzeichnis Inhaltstext Full Text
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!