Crea il mio profilo
Coautori
Damien DoligezChargé de recherches, InriaEmail verificata su inria.fr
Sandrine BlazyProfessor of Computer Science, University of RennesEmail verificata su irisa.fr
Andrew W. AppelProfessor of Computer Science, Princeton UniversityEmail verificata su princeton.edu
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotEmail verificata su dicosmo.org
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
Tom HirschowitzCNRSEmail verificata su univ-smb.fr
Gordon StewartBedRock Systems, Inc.Email verificata su bedrocksystems.com
Walid TahaHalmstad UniversityEmail verificata su hh.se
Benjamin GregoireInria Sophia-AntipolisEmail verificata su inria.fr
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupEmail verificata su bc.edu
Christian FerdinandEmail verificata su absint.com
Francois RouaixPrincipal Software Engineer, MicrosoftEmail verificata su rouaix.org
David PichardieProfessor, ENS Rennes, FranceEmail verificata su inria.fr
Marc PantelAssociate Professor in Computer Science, Université de ToulouseEmail verificata su enseeiht.fr
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaEmail verificata su unipi.it
Guillaume MelquiondInria, University Paris SaclayEmail verificata su inria.fr
Sylvie BoldoInria, LMF, University Paris SaclayEmail verificata su inria.fr
François PottierInria ParisEmail verificata su inria.fr
Tahina RamananandroMicrosoft ResearchEmail verificata su ramananandro.org
Pierre-Evariste DagandCNRSEmail verificata su evr.ist