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
| ASE 2020 | Attend and Represent: A Novel View on Algorithm Selection for Software Verification | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2020-profile
View general profile
View general profile