Program menurut mpvs.sf.net

Alat praktis untuk membantu siswa memahami metodologi pemrograman klasik berdasarkan spesifikasi, invarian loop, dan dekomposisi menjadi subproblem.