Static Analysis

Static Analysis

Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

More Books from Manuel V. Hermenegildo & José F. Morales