Verification, Model Checking, and Abstract Interpretation : 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings
ISBN: 9783662460818
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.