ISBN 9783030034177 books & textbook
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I (Lecture Notes in Computer Science, 11244)
Margaria, Tiziana Steffen, Bernhard
Springer /2018-10-29 Paperback / 604 Pages
isbn-10: 3030034178 / isbn-13: 9783030034177
