William T. Gowers

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Formal Verification

Bayesian Networks

Top Venues

Publications

Edward W. Ayers, Mateja Jamnik, William T. Gowers
A Graphical User Interface Framework for Formal Verification. ITP (2021)
Edward William Ayers, William T. Gowers, Mateja Jamnik
A Human-Oriented Term Rewriting System. KI (2019)