Mathias John, Cdric Lhoussaine, Joachim Niehren, Cristian Versari
Browse the full ESOP paper archive.