Master Informatique Vietnam
Formal Design
Year 2008/2009


Part 1 : Modelisation and Verification


Part 2 : Raffinement and proofs


Much years