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