Andrew Edmunds

Latest

• On Component-Based Reuse for Event-B
• Templates for Event-B Code Generation
• Event-B Code Generation: Type Extension with Theories
• On an Extensible Rule-Based Prover for Event-B