Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)

Applications

von: Tiziana Margaria · Bernhard Steffen

Taschenbuch

ISBN: 978-3-030-03420-7

ISBN-10: 3-030-03420-8

Springer · 2018