Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi.
By: Emerson, E. Allen.
Contributor(s): Namjoshi, Kedar S | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 3855.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540316220.Subject(s): Computer science | Software engineering | Logic design | Computer Science | Logics and Meanings of Programs | Software Engineering | Programming Languages, Compilers, InterpretersDDC classification: 005.1015113 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.