PendaPage
Pierre Castéran, Vincent Filou. Loco: A Coq Library on Local Computation Systems. http://www.labri.fr/$\sim$casteran/Loco, 0.
Contact
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)