Verlag: Springer

Erscheinungsort: Leiden

Titel der Reihe: Lecture Notes in Computer Science

Status: Veröffentlicht

Veröffentlichungsjahr: 2024

Konferenz: International Conference on integrated Formal Methods (iFM 2023), Leiden, Niederlande (Königreich der)