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.