Verification, Model Checking, and Abstract Interpretation Quotes

Rate this book
Clear rating
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ... Notes in Computer Science Book 8318) Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ... Notes in Computer Science Book 8318) by Kenneth McMillan
0 ratings, 0.00 average rating, 0 reviews
Verification, Model Checking, and Abstract Interpretation Quotes Showing 0-0 of 0