Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering

Gespeichert in:

Personen und Körperschaften: Gnesi, Stefania (VerfasserIn), ACM Special Interest Group on Software Engineering (MitwirkendeR), ACM SIGs (MitwirkendeR)
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
New York,NY,United States Association for Computing Machinery 2022
Gesamtaufnahme: ACM Conferences
ACM Digital Library
Schlagwörter:
Quelle: Verbunddaten SWB
ISBN: 9781450392877
1450392873