Logics of Programs 1980: Poznan, Poland

a service of Schloss Dagstuhl - Leibniz Center for Informatics