Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Francesco Logozzo
Themen in »Verification, Model Checking, and Abstract Interpretation«
Constraint Debugging Simulation abstract domains abstract interpretation abstraction algorithms formal methods formal verification optimization program analysis program semantics programming programming language verification
Stimmen zu »Verification, Model Checking, and Abstract Interpretation«
Details
ISBN: 9783540781622
Verlag: Springer Berlin
Erscheinung: 26.02.2008