Automated Technology for Verification and Analysis : 8th International Symposium, Atva 2010, Singapore, September 21-24, 2010, Proceedings
ISBN: 9783642156434
Information Available:
Summary
Copyright held by Baker & Taylor.