Location & Availability for: Verification, Model Checking, and Abstra

 Staff view

You must be logged in to Tag Records

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.

Book Cover
Names: Kuncak, Viktor. | Rybalchenko, Andrey.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: 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.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Verification, Model Checking, and Abstra