External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Graphical User Interface Framework for Formal Verification

Edward W. Ayers, Mateja Jamnik, William T. Gowers. A Graphical User Interface Framework for Formal Verification. In Liron Cohen 0001, Cezary Kaliszyk, editors, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). Volume 193 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Edward W. Ayers

This author has not been identified. Look up 'Edward W. Ayers' in Google

Mateja Jamnik

This author has not been identified. Look up 'Mateja Jamnik' in Google

William T. Gowers

This author has not been identified. Look up 'William T. Gowers' in Google
runs on