Automated Technology for Verification and Analysis : 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
ISBN: 9783319024448
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.