Jump to : Contact | BibTex reference | EndNote reference |

SCSS09

Pierre Castéran, Vincent Filou, Mohamed Mosbah. Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant. In Symbolic Computation in Software Science (SCSS'09), 2009.

Contact

Pierre Castéran
Vincent Filou
Mohamed Mosbah

BibTex Reference

@InProceedings{SCSS09,
   Author = {Castéran, Pierre and Filou, Vincent and Mosbah, Mohamed},
   Title = {Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant},
   BookTitle = {Symbolic Computation in Software Science (SCSS'09)},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)