Verification, Model Checking, and Abstract Interpretation : 11th International Conference, Vmcai 2010, Madrid, Spain, January 17-19, 2010, Proceedings
ISBN: 9783642113185
Information Available:
Summary
Inside Flap
Cover Image
Table Of Contents
Copyright held by Baker & Taylor.