Software engineering and formal methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, proceedings / Alexandre Madeira, Alexander Knapp, editors
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture notes in computer science ; 15280Publisher: Cham : Springer, [2025]Description: 1 Online-Ressource(XV, 462 p. 243 illus., 190 illus. in color.)ISBN:- 9783031773822
- 005.1 23
No physical items for this record