Registered user since Sun 28 Nov 2021

Name:Micha Schrader
Country:Germany
Affiliation:Technische Universität Kaiserslautern

Contributions

CPP 2022 CertiStr: A Certified String Solver
Show activities from other conferences

POPL 2022-profile
View general profile