Select Publications

By Dr Roger Su

Software / Code

Colvin RJ; Heiner S; Höfner P; Su R, 2025, Rely-guarantee extensions and locks, Archive of Formal Proofs, Published: 21 November 2025, Software / Code, http://www.isa-afp.org/entries/RG_Locks.html


Back to profile page

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0003-0176-3264

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation