Logics of Programs 1985: Brooklyn College, New York, NY, USA

a service of Schloss Dagstuhl - Leibniz Center for Informatics