public marks

PUBLIC MARKS with tags generation & del.icio.us

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 generation

code +   del.icio.us +   preuve +   specification +  

Active users

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