Static Analysis - Manuel V. Hermenegildo; José F. Morales (2023)