MPRI Course 2-36-1: Proof of Program

This page presents teaching material for the Lecture 2-36-1 "proof of program" of the MPRI.

See also the page for year 2011-2012

Important Dates


Documents


Lectures

(tentative schedule, subject to changes)
Page generated on 2013/2/28