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