ISBN 9783031471148 books & textbook
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
Ferreira, Carla Willemse, Tim A. C.
Springer /2023-10-31 Paperback / 392 Pages
isbn-10: 3031471148 / isbn-13: 9783031471148
