Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lena Verscht
conf.researchr.org general profile
POPL 2024 profile
Registered user since Thu 30 Nov 2023
Name:
Lena Verscht
Affiliation:
Saarland University, Saarland Informatics Campus
Contributions
2024
Formal Methods for Incorrectness
Author of Hoare-Like Triples and Kleene Algebras with Top and Tests within the Incorrectness-track
Share
x
Sat 27 Jul 17:19