ISBN 3030613615 books & textbook
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (Theoretical Computer Science and General Issues)
Margaria, Tiziana Steffen, Bernhard
Springer /2020-10-29 Paperback / 608 Pages
isbn-10: 3030613615 / isbn-13: 9783030613617
