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

Using general profile