Lutz, C.,
Sattler, U., Tinelli, C., Turhan, A. Y. & Wolter, F.,
2019,
Springer Nature.
662 p. (Lecture Notes in Computer Science; vol. 11560)(Theoretical Computer Science and General Issues; vol. 11560)
Research output: Book/Report › Anthology › peer-review