Programma's van mpvs.sf.net

Praktisch hulpmiddel om studenten te helpen de klassieke programmeermethodologie op basis van specificaties, lusinvarianten en ontleding in subproblemen grondig te begrijpen.