Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
Julien Alexandre Dit Sandretto | Synapse
JA
Julien Alexandre Dit Sandretto
Formal Methods in Verification
École Nationale Supérieure de Techniques Avancées
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
83 pubs · 213 cites · h-index 9
Affiliations
École Nationale Supérieure de Techniques Avancées
ParisTech
Laboratoire d’Informatique et Systèmes
See all
Publications