Perspectives of System InformaticsNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov · First published 2015Open the Tome
Perspectives of systems informaticsAndrei Voronkov, Irina Virbitskaite · First published 2007Open the Tome
