Software engineering and formal methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, proceedings / Alexandre Madeira, Alexander Knapp, editors
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture notes in computer science ; 15280Verlag: Cham : Springer, [2025]Beschreibung: 1 Online-Ressource(XV, 462 p. 243 illus., 190 illus. in color.)ISBN:- 9783031773822
- 005.1 23
Dieser Titel hat keine Exemplare