Static Analysis
12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Chris Hankin
Themen in »Static Analysis«
Scala abstract domains abstract testing algorithms data structure data structures flow analysis formal verification logic model checking optimization program manipulation program semantics security analysis software a
Stimmen zu »Static Analysis«
Details
ISBN: 9783540319719
Verlag: Springer Berlin
Erscheinung: 20.09.2005