TY  - BOOK
AU  - Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
TI  - Perspectives of System Informatics
SN  - 9783030374877
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-030-37487-7
ER  -