EPIT 2025 : École de Printemps
d'Informatique Théorique 2025

(Co)inductive & circular reasoning
applied to programming, formal
proofs and software verification

19-23 May 2025 Aussois (France)

FR EN

Page not found

The page that you resquest does not exist!

RSS Feed | Privacy | Accessibility: non-compliant

CCSD

Loading...