Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers - Petrenko, Alexander K; Voronkov, Andrei (Springer Nature, 2018)
Keywords: Computer programming, programs, data; Computer science-Congresses