Publisher | Springer |
ISBN 13 | 9783030034238 |
ISBN 10 | 3030034232 |
Language | English |
Author | Tiziana Margaria |
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus paperback english