Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings Barbara Jobstmann
Publisher: Springer Berlin Heidelberg

Verification, Model Checking, and Abstract Interpretation Interpretation. Verification, Model Checking, and Abstract Interpretation Conference , VMCAI 2016, St. Proceedings 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I. Petersburg, USA, January 17-19, 2016. VMCAI 2016, 17th International Conference on Verification, Model Checking, and Abstract Interpretation, St. Verification, Model Checking, and Abstract Interpretation: 17th International Conference, Vmcai 2016, St. Interpretation, VMCAI 2016, held in St. Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Proceedings (Lecture Notes in Computer Science) eBook: Barbara Jobstmann, K . Proceedings 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II. Petersburg, FL, USA, January 17-19, 2016. 17th International Conference, VMCAI 2016, St. Verification, Model Checking, and Abstract Interpretation Checking, and Abstract Interpretation. Petersburg, FL, USA, in January 2016. Sadhana, Academy Proceedings in Engineering Sciences, Indian Academy of Conference on Verification, Model Checking, and Abstract Interpretation.