Bislicing – Slicing for Relational Verification

Typ: MA / PdF
Datum: 2018-01-26
Betreuer: Mattias Ulbrich
Mihai Herda
Aushang: PDF