Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Andrew W. Appel
Publications
Verified Erasure Correction in Coq with MathComp and VST
Joshua M. Cohen
,
Qinshi Wang
and
Andrew W. Appel
EasyChair Preprint 8636
Keyphrases
Functional correctness verification
,
interactive theorem proving
,
Reed-Solomon coding
.
Copyright © 2012-2024 easychair.org. All rights reserved.
