ISBN 3031197585 books & textbook
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Part III (Lecture Notes in Computer Science)
Margaria, Tiziana Steffen, Bernhard
Springer /2022-10-20 Paperback / 488 Pages
isbn-10: 3031197585 / isbn-13: 9783031197581
