Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Sarah Benyagoub
Latest
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness
Cite
×