Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing.

Eric Koskinen, Kshitij Bansal

Browse the full VMCAI paper archive.