Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Willemse, Tim A. C. / Carla Ferreira (Hrsg.). Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Springer Nature Switzerland, 2023.
eng

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
  • Springer Nature Switzerland
  • 2023
  • Taschenbuch
  • 392 Seiten
  • ISBN 9783031471148
Herausgeber: Tim A. C. Willemse / Carla Ferreira

in Kürze