|
 
|
[BOI05] Une aide à la réutilisation de preuves formelles - Application aux preuves de propriétés sémantiques
Mémoire de Thèse : Soutenue le: 01 January 2005, pp. 160, : Une aide à la réutilisation de preuves formelles - Application aux preuves de propriétés sémantiques,
motcle:
BibTeX
| @phdthesis { | |||
| BOI05, | |||
| title | = | "{Une aide à la réutilisation de preuves formelles - Application aux preuves de propriétés sémantiques}", | |
| author | = | "O. Boite", | |
| year | = | 2005, | |
| pages | = | "160", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| } |
