Blogmarks.net is a social bookmarking service.

Founded in late 2003 and heartquartered in France, we are non-profit and independant.

We believe in the open web, think internet services should be sustainable, build for the long term.

While we are re-launching the service, we only accept new members through invitation.

PUBLIC MARKS from GeorgesMariano with tag code

08 February 2006 12:45

http://geccoo.lri.fr/

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

specification del.icio.us code generation preuve

1 (1 marks)

Blogmarks.net is a social bookmarking service.

Already an user?

PUBLIC MARKS from GeorgesMariano with tag code

08 February 2006 12:45

http://geccoo.lri.fr/

GeorgesMariano's TAGS related to tag code