Automated Technology for Verification and Analysis : 4th International Symposium, Atva 2006, Beijing, China, October 23-26, 2006, Proceedings
ISBN: 9783540472384
Information Available:
Summary
Copyright held by Baker & Taylor.