투명하고 탐색 가능한 연구 결과를 위한 공약 연산자

프로그램 분석을 위한 새로운 프레임워크 소개