October 2006
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
1
(2 marks)