ISBN 3031671139 books & textbook
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement (Lecture Notes in Computer Science)
Foster, Simon Sampaio, Augusto
Springer /2024-08-13 Paperback / 392 Pages
isbn-10: 3031671139 / isbn-13: 9783031671135
