23 February 2006
08 February 2006
http://geccoo.lri.fr/
by GeorgesMarianoGénération de code certifié pour des applications orientées objet Spécification, raffinement, preuve et détection d'erreurs Generation of Certified Code for Object Oriented Applications specification, refinement, proof and error detection
20 January 2006
1
(3 marks)