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

Refine list

showing all ?? records

Lectures

Contributed Papers

a service of  Schloss Dagstuhl - Leibniz Center for Informatics