Jump to : Contact | BibTex reference | EndNote reference |

PendaPage

Pierre Castéran, Vincent Filou. Loco: A Coq Library on Local Computation Systems. http://www.labri.fr/$\sim$casteran/Loco, 0.

Contact

Pierre Castéran
Vincent Filou

BibTex Reference

@Misc{PendaPage,
   Author = {Castéran, Pierre and Filou, Vincent},
   Title = {Loco: A {C}oq {L}ibrary on {L}ocal {C}omputation {S}ystems},
   Howpublished = {http://www.labri.fr/$\sim$casteran/Loco},
   Year = {0}
}

EndNote Reference [help]

Get EndNote Reference (.ref)