8. ICLP 1991: Paris, France - Workshops

Background

Program Synthesis and Derivation

Program Analysis

Theoretical Foundations

a service of Schloss Dagstuhl - Leibniz Center for Informatics