Earn AED 20.04 cashback with the Mashreq noon Credit Card. Apply now
Partner Since
2+ YearsPublisher | 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