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)