conf.researchr.org / Michael Kirsten
Registered user since Tue 2 Apr 2019
Name:Michael Kirsten
Country:Germany
Affiliation:Karlsruhe Institute of Technology (KIT)
Personal website: https://formal.kastel.kit.edu/~kirsten/
GitHub: https://github.com/mi-ki
Contributions