Lemoine,Michel

Notes

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