Formal methods and software engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ICFEM (VerfasserIn)
Weitere Verfasser:	Aït-Ameur, Yamine (HerausgeberIn), Qin, Shengchao (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Switzerland Springer 2019
Schriftenreihe:	Lecture notes in computer science 11852
Schlagworte:	Software engineering > Formal methods (Computer science) > Konferenzschrift > Formale Methode
Online Zugang:	Inhaltsverzeichnis 1850-9999
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!