Synthesis of Software from Logical Constraints.

Kevin Lano, Shekoufeh Kolahdouz Rahimi

Browse the full ICSoft paper archive.