Connexion
en
fr
Navigation
Laboratoire
Présentation
Gouvernance
Éco-système
Annuaire
Accès
Back
Recherche
Pôles et Thèmes
Publications
Preuve et langages
Arithmétique des ordinateurs
Calcul, langages et compilation
Preuve de programmes
Preuve mecanisée
Modèles
Concurrence et distribué
Model-checking et synthèse
Systèmes critiques
Test et monitoring
Interactions
Biologie
Intelligence artificielle
Quantique
Sécurité
Topologie
Equipes-projets
Deducteam
Toccata
QuaCS
Collaborations
IRL ReLaX
LabCom ProofInUse
Back
Actualités
Toutes les actualités
Agenda
Séminaires
Prix et distinctions
Rejoignez-nous
Internship offers
Accueil
Publications-ex-Vals
(
)
,
In
,
(editors),
p.
,
,
,
,
,
,
,
.
.
[DOI]
[URL]
[PDF]
[ArXiV]
[BioArXiv]
[bib+]
[abs+]
