conf.researchr.org / Graeme Smith
Registered user since Wed 1 Mar 2023
Name:Graeme Smith
Affiliation:The University of Queensland
Contributions
2026
FM
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Author of Generating Rely-Guarantee Conditions with the Conditional-Writes Domain within the Research Track-track
- Author of Autograding Weakest Precondition Proofs and Dafny Specifications within the Workshop: FMTea-track
- Committee Member in Program Committee within the Research Track-track