List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|---|---|---|---|
| doctoralThesis | 2023 | Automated and foundational verification of low-level programs | Sammler, Michael Joachim |
Welcome
| ORCID: |  https://orcid.org/0000-0003-4591-743X |
| Name: | Sammler, Michael Joachim |
| Faculty: | MI - Fakultät für Mathematik und Informatik |
| Department: | MI - Informatik |
| Professorship: | MI - Keiner Professur zugeordnet |
| Display style: |