Skip to Main content Skip to Navigation

Search by documents



...
tel-01589656v1  Theses
Régis Spadotti. A mechanized theory of regular trees in dependent type theory
Mathematical Software [cs.MS]. Université Paul Sabatier - Toulouse III, 2016. English. ⟨NNT : 2016TOU30178⟩
hal-03176420v1  Conference papers
Badr SialaTahar BhiriJean-Paul BodeveixM Filali. An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016)
Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France