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

Pascal Fontaine, Stephan Schulz, Josef Urban (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics