Alexei Iliasov

Latest

• Formal Distributed Protocol Development for Reservation of Railway Sections
• Rodin Platform Why3 Plug-In
• Supporting Reuse in Event B Development: Modularisation Approach