L
lmoch
M1 @ ENS Cachan — Systèmes synchrones (MPRI 2-23-1) — Project: a model checker for MiniLustre (course webpage: http://www.di.ens.fr/~pouzet/cours/mpri/)
M1 @ ENS Cachan — Systèmes synchrones (MPRI 2-23-1) — Project: a model checker for MiniLustre (course webpage: http://www.di.ens.fr/~pouzet/cours/mpri/)