Automated Technology for Verification and Analysis : 16th International Symposium, Atva 2018, Los Angeles, Ca, USA, October 7-10, 2018, Proceedings
ISBN: 9783030010904
Information Available:
Cover Image
Copyright held by Baker & Taylor.