Nicola Thoben
Department of Computing Science (» Postal address)
Sekretariat
Contact
Nicola Thoben
Research interests:
Software verfication, in particular currently
- Machine Learning in software verification
- Performance prediction in software verification