Denis Caromel Joint work with Ludovic Henrio â Eric Madelaine et. OASIS members OASIS Team INRIA -- CNRS - I3S â Univ. of Nice Sophia-Antipolis, IUF Keynote talk at Formal…
