Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov. 10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. In Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov, editors, Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010. Volume 10161 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
@inproceedings{BjornerNVV10a,
title = {10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware},
author = {Nikolaj Bjørner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2736/},
researchr = {https://researchr.org/publication/BjornerNVV10a},
cites = {0},
citedby = {0},
booktitle = {Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010},
editor = {Nikolaj Bjørner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov},
volume = {10161},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}