Dependency-Based Compositional Synthesis.

Bernd Finkbeiner, Noemi Passing

Browse the full ATVA paper archive.