Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Aurélie Hurault
Latest
Mechanized Refinement of Communication Models with TLA + +
Cite
×