Automated Technology for Verification and Analysis : 7th International Symposium, Atva 2009, Macao, China, October 14-16, 2009, Proceedings
ISBN: 9783642047619
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.