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