Fingerprint
Dive into the research topics of 'Velisarios: Byzantine fault-tolerant protocols powered by Coq'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Velisarios: Byzantine fault-tolerant protocols powered by Coq
Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8
Citations
(Scopus)
218
Downloads
(Pure)