Détails sur le séminaire

Room 206 (2nd floor, badged access)
4 avril 2024 - 13h30
Abstract Interpreters: a Monadic Approach to Modular Verification
par Sébastien Michelland de LCIS (UGA)
invité(e) par Sylvain BOULME


Abstract: TBA.
Presentation of the draft https://perso.ens-lyon.fr/yannick.zakowski/papers/itree-ai-draft.pdf


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3872358