Keyword:refinement

Publications
A Study for an Easy UI Based Communication Platform. Mohan Pandey, Anubhav Bhatt and Ambuj Pathak EasyChair Preprint 10540
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Tim Lyon EasyChair Preprint 7080
Transforming Event B Models into Verified C# Implementations Dominique Mery and Rosemary Monahan In:VPT 2013. First International Workshop on Verification and Program Transformation