Static Analysis
8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Patrick Cousot
Themen in »Static Analysis«
Action Constraint data structure data structures logic model checking programming semantics
Stimmen zu »Static Analysis«
Details
ISBN: 9783540423140
Verlag: Springer Berlin
Erscheinung: 04.07.2001