Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Alexander B. Romanovsky
Latest
Formal Distributed Protocol Development for Reservation of Railway Sections
Rodin Platform Why3 Plug-In
Supporting Reuse in Event B Development: Modularisation Approach
Cite
×