Automated Technology for Verification and Analysis : 13th International Symposium, Atva 2015, Shanghai, China, October 12-15, 2015, Proceedings
ISBN: 9783319249537
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.