Kuncak, Viktor.Rybalchenko, Andrey. (Eds.) () Verification, Model Checking, and Abstract Interpretation13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
edited by Viktor Kuncak, Andrey Rybalchenko.
|Names:||Kuncak, Viktor. | Rybalchenko, Andrey.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
Lecture Notes in Computer Science, 7148
|Topics:||Computer science. | Software engineering. | Computer software. | Logic design. | Computer Science. | Logics and Meanings of Programs. | Software Engineering. | Programming Languages, Compilers, Interpreters. | Algorithm Analysis and Problem Complexity. | Mathematical Logic and Formal Languages. | Programming Techniques.|