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