Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Certifying Modular Computation with FoCaL
[RIO07] Certifying Modular Computation with FoCaL
Conférences invitées : Fifth Asian Workshop on Foundations of Software, Xiamen, January 2007,
motcle:
| @inproceedings { | |||
| RIO07, | |||
| title | = | "{Certifying Modular Computation with FoCaL}", | |
| author | = | " R. Rioboo ", | |
| booktitle | = | "{Fifth Asian Workshop on Foundations of Software, Xiamen}", | |
| year | = | 2007, | |
| month | = | "January", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |