Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers / edited by Alessandro Aldini
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 14568Publisher: Cham : Springer Nature Switzerland, 2024Publisher: Cham : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(VIII, 169 p. 29 illus., 23 illus. in color.)ISBN:- 9783031660214
- 005.1 23
No physical items for this record