HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Joshua M. Cohen

Publications
Verified Erasure Correction in Coq with MathComp and VST
Joshua M. Cohen, Qinshi Wang and Andrew W. Appel
EasyChair Preprint no. 8636

Keyphrases

Functional correctness verification, interactive theorem proving, Reed-Solomon coding.

Copyright © 2012-2023 easychair.org. All rights reserved.