Atur cara mengikut mpvs.sf.net

Alat praktikal untuk membantu pelajar memahami metodologi pengaturcaraan klasik berdasarkan spesifikasi, invariant gelung, dan penguraian ke dalam subproblems.