Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow. 09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. In Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow, editors, Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]
@inproceedings{BallGHN09,
title = {09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction},
author = {Thomas Ball and Jürgen Giesl and Reiner Hähnle and Tobias Nipkow},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2503/},
researchr = {https://researchr.org/publication/BallGHN09},
cites = {0},
citedby = {0},
booktitle = {Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009},
editor = {Thomas Ball and Jürgen Giesl and Reiner Hähnle and Tobias Nipkow},
volume = {09411},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}