Registered user since Wed 1 Mar 2023
Name:Graeme Smith
Country:Australia
Affiliation:The University of Queensland
Contributions
2026
FM
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
- Autograding Weakest Precondition Proofs and Dafny Specifications
- Session Chair of FMTea Session 2 (part of Workshop: FMTea)
- Session Chair of Session 1: Information Flow Verification (part of Research Track)
- Committee Member in Program Committee within the Research Track-track
FM 2026-profile
View general profile
View general profile