Geoff Sutcliffe

Visiting professor

Group Automated Program Reasoning
Websites https://www.cs.miami.edu/home/geoff/
https://www.tptp.org/
Other links