Spécification et validation du logiciel |
Jean Goubault-Larrecq |
G.I.E. Dyade, INRIA |
Jean.Goubault@dyade.fr |
http://www.dyade.fr/fr/actions/vip/jgl.html |
Buts de ce cours |
Pour quoi faire ? |
Exemples de domaines d'application |
Quelques exemples de bugs |
This document was translated from LATEX by HEVEA.