Registered user since Sat 2 Feb 2019
Name:Kirsten Winter
Affiliation:Defence Science and Technology Group, Australia
Contributions
FormaliSE 2023 | Committee Member in Program Committee within the FormaliSE 2023-track | ||||||||||||||||||||||||||||||||||||||||
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