Kuncak, ViktorMayer, MikaelPiskac, RuzicaSuter, Philippe2010-02-142010-02-142010-02-14201010.1145/1806596.1806632https://infoscience.epfl.ch/handle/20.500.14299/47384Complete Functional Synthesistext::conference output::conference proceedings::conference paper