Leveraging Applications of Formal Methods, Verification and Validation - Distributed Systems : 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
ISBN: 9783030034245
Information Available:
Cover Image
Copyright held by Baker & Taylor.