Synthesizing Precise and Useful Commutativity Conditions[J]

JOURNAL OF AUTOMATED REASONING

• 2020(64)
• Bansal, Kshitij Koskinen, Eric Tripp, Omer