public marks

PUBLIC MARKS with tags specification & generation

08 February 2006 12:45

http://geccoo.lri.fr/

by GeorgesMariano
Gé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

PUBLIC TAGS related to tag specification

code +   del.icio.us +   generation +   preuve +  

Active users

GeorgesMariano
last mark : 08/02/2006 12:57