"Perspectives of Systems Informatics - 8th International Andrei Ershov ..."

Edmund M. Clarke, Irina Virbitskaite, Andrei Voronkov (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics