SPLASH 2020 (series) / Cedric Richter

Registered user since Wed 22 Jan 2020
Name:Cedric Richter
Country:Germany
Affiliation:Paderborn University, Germany
Personal website: https://en.cs.uni-paderborn.de/sms/team/people/cedric-richter
Research interests:Machine Learning, Software Verification
Contributions
SPLASH 2020-profile
View general profile
View general profile