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 Esteves-Verissimo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
23
Scopus
citations