Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6
Erscheinungsjahr: März 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. eine Lösung finden können. Den Zustand der Ware versuchen wir so gut wie möglich zu beschreiben.