프로그램별 mpvs.sf.net

학생들이 사양, 루프 불변성 및 분해를 하위 문제로 기반으로 하는 고전 프로그래밍 방법론을 깊이 이해할 수 있도록 돕는 실용적인 도구입니다.