6월 24, 2021 교수이야기 프로그래밍 시스템 연구실(허기홍 교수) 안전하고 신뢰할 수있는 소프트웨어를 위한 차세대 프로그래밍 시스템 : 프로그램 분석, 프로그램 합성·변환… Continue reading
