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.

Important dates


Documents


Lectures


Page generated on 2012/2/21