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 |
![](/img/header_140.jpg)
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 |