Registered user since Wed 13 Nov 2024
Name:Lena Verscht
Affiliation:Saarland University, Saarland Informatics Campus
Contributions
2024
Formal Methods for Incorrectness
POPL 2024-profile
View general profile
View general profile
Registered user since Wed 13 Nov 2024
Contributions