Not registered as user yet
Name:Petra Hozzová
Affiliation:TU Wien
Contributions
POPL 2023 | Towards Synthesis in Superposition | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile
Not registered as user yet
Contributions
POPL 2023 | Towards Synthesis in Superposition | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |