Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Subtitle: CIFMA 2023 and OpenCERT 2023, Eindhoven, the Netherlands, November 6-10, 2023, Revised Selected Papers
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031660207