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

Lectures

Contributed Papers

maintained by Schloss Dagstuhl LZI, founded at University of Trier