Automated Technology for Verification and Analysis : 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
ISBN: 9783540755968
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.