Static Analysis of Software | 9781848213203 | Memmo