"Logic-Based Program Synthesis and Transformation, 18th International ..."

Michael Hanus (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics