Abstract interpretation

approach to static program analysis

Kategorie: