Bislicing – Slicing for Relational Verification
| Typ: | MA / PdF |
|---|---|
| Datum: | 2018-01-26 |
| Betreuer: |
Mattias Ulbrich Michael Kirsten |
| Aushang: |
| Typ: | MA / PdF |
|---|---|
| Datum: | 2018-01-26 |
| Betreuer: |
Mattias Ulbrich Michael Kirsten |
| Aushang: |