HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Translation Validation

Papers
Formal Replay of Translation Validation for Highly Optimised C
Thomas Sewell
In:VPT 2014. Second International Workshop on Verification and Program Transformation
Copyright © 2012-2021 easychair.org. All rights reserved.