Abstract interpretation

approach to static program analysis

카테고리: