08 February 2006 12:45
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
(1 marks)