Registered user since Thu 10 Nov 2022

Name:Florin Manea
Affiliation:University of Göttingen

Contributions

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

Using general profile