![Lena Verscht](https://popl24.sigplan.org/getProfileImage/lenaverscht1/bdf9f9b4-3e47-4cf2-9cc1-20e7912bb8ca/small.jpg?1712051127000)
Registered user since Thu 30 Nov 2023
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 Thu 30 Nov 2023
Contributions