| Titel | Typ | Datum | Betreuer |
|---|---|---|---|
| Generating Preconditions for a Modular Analysis | Master Thesis | immediately | Marko Kleine Büning |
| Generation of Preconditions through Symbolic Backwards Execution | Masterarbeit | ab sofort (2020) | Marko Kleine Büning |
| Titel | Typ | Datum | Betreuer |
|---|---|---|---|
| Generating Preconditions for a Modular Analysis | Master Thesis | immediately | Marko Kleine Büning |
| Generation of Preconditions through Symbolic Backwards Execution | Masterarbeit | ab sofort (2020) | Marko Kleine Büning |