Original language | English |
---|
Title of host publication | Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers |
---|
Editors | AK Petrenko, A Voronkov |
---|
Publisher | Springer-Verlag GmbH and Co. KG |
---|
Pages | 241-255 |
---|
Number of pages | 15 |
---|
ISBN (Print) | 9783319743127 |
---|
DOIs | |
---|
Publication status | Published - 1 Jan 2018 |
---|
Event | 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017 - Moscow, Russian Federation Duration: 27 Jun 2017 → 29 Jun 2017 |
---|