Registered user since Thu 10 Nov 2022

Name:Florin Manea
Country:Germany
Affiliation:University of Göttingen

Contributions

POPL 2023 On the Expressive Power of String Constraints
Show activities from other conferences

POPL 2023-profile
View general profile