학위논문(석사) - 한국과학기술원 : 전산학전공, 2002.2, [ [iii], 39 p. ]
Pattern match check; Demand-driven analysis; Set-based analysis; ML program analysis; ML 프로그램 분석; 패턴 매치 검사; 요구사항에 기반한 분석; 집합기반 분석
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.