Add Wish List Add to Cart The item has been added Static Analysis Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages... RRP: $92.00 Add to Cart The item has been added