Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Bodo Igler
Latest
ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq
Cite
×