Formal methods and software engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ICFEM (VerfasserIn)
Weitere Verfasser:	Lin, Shang-Wei (HerausgeberIn), Hou, Zhe (HerausgeberIn), Mahony, Brendan (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Ausgabe:	Corrected publication
Schriftenreihe:	Lecture notes in computer science 12531
Schlagworte:	Konferenzschrift > Formale Methode > Software Engineering
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!