开发者 mpvs.sf.net

实用工具，帮助学生深刻理解基于规范、循环不变量和分解为子问题的经典编程方法。