Automated Technology for Verification and Analysis : 12th International Symposium, Atva 2014, Sydney, Australia, November 3-7, 2014, Proceedings
ISBN: 9783319119366



Information Available:
Summary
Cover Image





Copyright held by Baker & Taylor.