Wijs, Anton / Paula Herber (Hrsg.). Integrated Formal Methods - 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13¿15, 2023, Proceedings. Springer Nature Switzerland, 2023.
eng

Integrated Formal Methods

18th International Conference, IFM 2023, Leiden, The Netherlands, November 13¿15, 2023, Proceedings
  • Springer Nature Switzerland
  • 2023
  • Taschenbuch
  • 424 Seiten
  • ISBN 9783031477041
Herausgeber: Anton Wijs / Paula Herber

in Kürze