Abstract interpretation

approach to static program analysis

Kategorier: