conf.researchr.org / Maik Wiesner
![Maik Wiesner](https://conf.researchr.org/getProfileImage/maikwiesner/fc75cbb6-3ccb-40ba-9ca6-f429494f4902/small.jpg?1712057525000)
Registered user since Tue 22 Jun 2021
Name:Maik Wiesner
Country:Germany
Affiliation:TU Darmstadt
Personal website: https://www.informatik.tu-darmstadt.de/svpsys/semantik_und_verifikation_paralleler_systeme_svpsys/mitarbeiter_svpsys/maik_wiesner/maik_wiesner_page.en.jsp
GitHub: https://github.com/maikwiesner
Research interests:Software verification, fomal methods
Contributions