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