Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Hernán Vanzetto
Latest
Encoding TLA + + into Many-Sorted First-Order Logic
Cite
×