"Proceedings of the 6th Workshop on Practical Aspects of Automated ..."

Boris Konev, Josef Urban, Philipp Rümmer (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics