Sound Automation of Magic Wands.

Thibault Dardinier, Gaurav Parthasarathy, No Weeks, Peter Mller, Alexander J. Summers

Browse the full CAV paper archive.