Datenschutz und IT-Sicherheit - geht es nicht auch ohne?


Date
Location
Boppard, GER
Avatar
Sebastian Krings
Postdoc

My research interests include formal methods, model checking and logic programming.