Demyanova, Yulia
Full name Familienname, Vorname
Demyanova, Yulia
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Demyanova, Yulia ; Rümmer, Philipp ; Zuleger, Florian | Systematic Predicate Abstraction using Variable Roles | Inproceedings Konferenzbeitrag | 2017 |