Programmi di mpvs.sf.net

Strumento pratico per aiutare gli studenti a comprendere a fondo la metodologia di programmazione classica basata su specifiche, invarianti di loop e decomposizione in sottoproblemi.