|
 
|
[RIO07] Certifying Modular Computation with FoCaL
Conférences invitées : Fifth Asian Workshop on Foundations of Software, Xiamen, January 2007,
motcle:
BibTeX
| @inproceedings { | |||
| RIO07, | |||
| title | = | "{Certifying Modular Computation with FoCaL}", | |
| author | = | " R. Rioboo ", | |
| booktitle | = | "{Fifth Asian Workshop on Foundations of Software, Xiamen}", | |
| year | = | 2007, | |
| month | = | "January", | |
| } | |||
