Frank Zeyda

Latest

• A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams
• Communication Systems in ClawZ
• Reactivising Classical B