%0 Conference Proceedings %F CASTERAN_2009_HAL-00407990_1 %A Castéran, Pierre %A Filou, Vincent %A Mosbah, Mohamed %T {C}ertifying {D}istributed {A}lgorithms by {E}mbedding {L}ocal {C}omputation {S}ystems in the {C}oq {P}roof {A}ssistant %B {P}roceedings of {S}ymbolic {C}omputation in {S}oftware {S}cience ({SCSS} 2009) {S}ymbolic {C}omputation in {S}oftware {S}cience ({SCSS} 2009) %C {T}unisie %U http://hal.archives-ouvertes.fr/hal-00407990/en/ %D 2009