HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Rosemary Monahan

Publications
Transforming Event B Models into Verified C# Implementations
Dominique Mery and Rosemary Monahan
In:VPT 2013. First International Workshop on Verification and Program Transformation

Keyphrases

algorithm, correct-by-construction, implementation, refinement, transformation, verification.

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