ISBN 9783031572555 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 14572)
Finkbeiner, Bernd Kovács, Laura
Springer /2024-04-05 Paperback / 450 Pages
isbn-10: 3031572556 / isbn-13: 9783031572555
