Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
La réalisabilité, de Curry Howard au Forcing
October 5, 2020
Laura Fontanella
(LACL)
Post navigation
FORMOSE : une méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques
vacances scolaires, a priori pas de séminaire
