"Verification of semantic commutativity conditions and inverse operations ..."

Deokhwan Kim, Martin C. Rinard (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics