Michel Bidoit

Directeur de recherche CNRS

• Quelques publications

• Constructor-based Observational Logic
• Le projet CoFI
• CASL User Manual
• Un tutorial sur CASL
• Le Working Group IFIP WG 1.3

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact