소프트웨어 검증 적용 사례 - 오성환(STA 수석연구원) 본 콘텐츠는 과학기술정보통신부 및 정보통신기획평가원의 SW중심대학지원사업의 연구결과로 수행되었습니다. 본 콘텐츠의 내용은 전재할 수 없으며, 인용할 때에는 반드시 과학기술정보통신부와 정보통신기획평가원의 『소프트웨어중심대학』의 결과물이라는 출처를 밝혀야 합니다.