Reductions for Synthesis Procedures.

Swen Jacobs, Viktor Kuncak, Philippe Suter

Browse the full VMCAI paper archive.