"Learning Commutativity Specifications."

Timon Gehr, Dimitar Dimitrov, Martin T. Vechev (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics