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