Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Book title Buchtitel
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Publisher Herausgeber
Springer / LNCS
Place of publishing Erscheinungsort
8318
DOI
10.1007/978-3-642-54013-4
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-2 of 2 (Search time: 0.002 seconds).