Registered user since Thu 13 Apr 2023
Name:Nicholas Coughlin
Affiliation:Defence Science and Technology Group, Australia
Contributions
ICSE 2023 | Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2023-profile
View general profile
View general profile