ECOOP and ISSTA 2021 (series) / Maik Wiesner
![Maik Wiesner](https://conf.researchr.org/getProfileImage/maikwiesner/1b3b1682-9dad-4c01-bb4e-b306c27bf4bd/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
ECOOP and ISSTA 2021-profile
View general profile
View general profile