iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings

Bibliographische Detailangaben

Körperschaft:	International Conference on integrated Formal Methods (VerfasserIn)
Weitere Verfasser:	Herber, Paula (HerausgeberIn), Wijs, Anton (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2024
Schriftenreihe:	Lecture notes in computer science 14300
Schlagworte:	Formale Methode > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!