Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
Alessandro Aldini
Aug 2024 · Springer Nature
Ebook
169
Pages
reportRatings and reviews aren’t verified Learn More
About this ebook
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023
The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.
SEFM 2023 Collocated Workshops presents the following two workshops:
The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.
SEFM 2023 Collocated Workshops presents the following two workshops:
-
- 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023)
- 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
