MMSSS

Int. Spring School on Mathematical Methods of Specification and Synthesis of Software Systems

Search within this conference

Search

1. 1985

   MMSSS 1985

   • 22-26 April
   • Wendisch-Rietz, Germany

   • Mathematical Methods of Specification and Synthesis of Software Systems '85

     23 Papers

     1 Volume