"Logic-Based Program Synthesis and Transformation - 24th International ..."

Maurizio Proietti, Hirohisa Seki (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics