SPLASH 2023 (series) / Jan Menz
Registered user since Mon 27 Feb 2023
Name:Jan Menz
Country:Germany
Affiliation:MPI-SWS
Personal website: https://mpi-sws.org/~jmenz
Research interests:Semantics of Declassification
Contributions
Using general profile