Gerard Berry

• Compiling Esterel
• Compiling ESTEREL
• Computer Aided Verification