|
 
|
[DGJ03] Réutilisation de preuves - Une étude pour le système Foc
Conférence Nationale avec comité de lecture : Journées francophones des langages applicatifs, January 2003,
motcle:
Commentaires:
Chamrousse
BibTeX
| @inproceedings { | |||
| DGJ03, | |||
| title | = | "{Réutilisation de preuves - Une étude pour le système Foc}", | |
| author | = | " C. Dubois and J. Grandguillot and M. Jaume ", | |
| booktitle | = | "{Journées francophones des langages applicatifs}", | |
| year | = | 2003, | |
| month | = | "January", | |
| note | = | "{Chamrousse}", | |
| } | |||
