Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Sophie Coudert
Latest
Proving the Safety of a Sliding Window Protocol with Event-B
Cite
×