ECOOP and ISSTA 2021 (series) / Maik Wiesner
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