Verification, Model Checking, and Abstract Interpretation:13th Inteational Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science) ISBN-10: 3642279392 ISBN-13: 9783642279393 Edition: 2012 Released:2012-02-26 Paperback: 457 pages List Price 代发服务PDF电子书10元立即求助 1111