"Proceedings of the 32nd IEEE/ACM International Conference on Automated ..."

Grigore Rosu, Massimiliano Di Penta, Tien N. Nguyen (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics