[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 11964 (12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers) ||
Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, AndreiVolume:
10.1007/97
Year:
2019
DOI:
10.1007/978-3-030-37487-7
File:
PDF, 17.03 MB
2019