Publication XPath 후향축 표현식을 위한 타입 추론 기법 한국정보처리학회 2015 춘계학술발표대회, 2015.04 Authors 임현승 Awards 우수논문상 Tags programming-languages formal-methods PDF
