Girard,Francoise

Notes

• NL97-013: VALIDATION D'UN SYSTEME CRITIQUE PAR RETRO-CONCEPTION FORMELLE CONGRES GENIE LOGICIEL ET SES APPLICATIONS