Publication 논리적 추론 모델을 활용한 템플릿 기반 프로그램 자동 수정 한국정보과학회 2025 한국소프트웨어종합학술대회 (KSC), 2025.12 Authors 이창섭 지수환 임현승 Support BRL후속 지역지능화 Tags software-engineering formal-methods
