Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski.
Record details
- ISBN: 9783540697381
- Physical Description: XI, 395 p. Also available online. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Search for related items by subject
Subject: | Computer science. Software engineering. Logic design. Computer Science. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. Software Engineering. |