Automated Technology for Verification and Analysis : 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017 - Proceedings
ISBN: 9783319681672
Information Available:
Cover Image
Copyright held by Baker & Taylor.