Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
ECOOP and ISSTA 2021 (series) / ISSTA 2021 (series) / Maik Wiesner
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

SPIN 2021 Verifying Pipeline Implementations in OpenMP
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile