"Perspectives of System Informatics - 12th International Andrei P. Ershov ..."

Nikolaj S. Bjørner, Irina B. Virbitskaite, Andrei Voronkov (2019)

Details and statistics

DOI: 10.1007/978-3-030-37487-7

access: closed

type: Editorship

metadata version: 2022-04-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics