Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicholas Coughlin
conf.researchr.org general profile
ICSE 2023 profile
Registered user since Thu 13 Apr 2023
Name:
Nicholas Coughlin
Affiliation:
Defence Science and Technology Group, Australia
Contributions
2023
ICSE
Author of Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models within the Showcase-track
Share
x
Sat 27 Jul 20:16