Mathematical Methods of Specification and Synthesis of Software Systems 1985: Wendisch-Rietz, GDR

Lectures

Contributed Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics