|
 
|
[LM01b] Réutilisation des preuves dans le processus de raffinement B
Rapport Scientifique : Date de dépot: 2001/01/01, (Tech. Rep.: CEDRIC-01-377)
motcle:
BibTeX
| @techreport { | |||
| LM01b, | |||
| title | = | "{Réutilisation des preuves dans le processus de raffinement B}", | |
| author | = | "R. Laleau and A. Mammar", | |
| number | = | "{CEDRIC-01-377}", | |
| institution | = | "{CEDRIC laboratory, CNAM-Paris, France}", | |
| date | = | {01-01-2001}, | |
| } | |||
