Original languageEnglish
Title of host publicationPerspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
EditorsNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
PublisherSpringer International Publishing AG
Pages252-261
Number of pages10
ISBN (Print)9783030374860
DOIs
Publication statusPublished - 1 Jan 2019
Event12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Russian Federation
Duration: 2 Jul 20195 Jul 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11964 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Andrei P. Ershov Informatics Conference, PSI 2019
Country/TerritoryRussian Federation
CityNovosibirsk
Period02.07.201905.07.2019

ID: 23122166