Home > Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 20 of 29 entries
Chapters/Headings | Author(s) | Pages | Info |
1-28 | |||
29-43 | |||
44-58 | |||
59-73 | |||
74-88 | |||
89-90 | |||
91-105 | |||
106-121 | |||
122-136 | |||
137-150 | |||
151-166 | |||
167-181 | |||
182-198 | |||
199-213 | |||
214-214 | |||
215-233 | |||
234-250 | |||
251-266 | |||
267-267 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 29 entries
Topics
Computer Programming Computers Computers - General Information Computer Books: General Logic Design Programming - Software Development Programming Languages - General Computers / Logic Design abstarct interpretation abstract domains abstraction debugging techniques deductive methods formal methods formal verification higher-order languages model checking optimization Computer Science Operating Systems - General Computer programs Congresses Verification