내 프로필 만들기
공동 저자
- Damien DoligezChargé de recherches, Inriainria.fr의 이메일 확인됨
- Sandrine BlazyProfessor of Computer Science, University of Rennesirisa.fr의 이메일 확인됨
- Roberto Di CosmoProfessor of Computer Science, University Paris Diderotdicosmo.org의 이메일 확인됨
- Andrew W. AppelProfessor of Computer Science, Princeton Universityprinceton.edu의 이메일 확인됨
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org의 이메일 확인됨
- Tom HirschowitzCNRSuniv-smb.fr의 이메일 확인됨
- Walid TahaHalmstad Universityhh.se의 이메일 확인됨
- Benjamin GregoireInria Sophia-Antipolisinria.fr의 이메일 확인됨
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Groupbc.edu의 이메일 확인됨
- Christian Ferdinandabsint.com의 이메일 확인됨
- Francois RouaixPrincipal Software Engineer, Microsoftrouaix.org의 이메일 확인됨
- David PichardieProfessor, ENS Rennes, Franceinria.fr의 이메일 확인됨
- Marc PantelAssociate Professor in Computer Science, Université de Toulouseenseeiht.fr의 이메일 확인됨
- Gordon StewartBedRock Systems, Inc.bedrocksystems.com의 이메일 확인됨
- Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of Pisaunipi.it의 이메일 확인됨
- Guillaume MelquiondInria, University Paris Saclayinria.fr의 이메일 확인됨
- Sylvie BoldoInria, LMF, University Paris Saclayinria.fr의 이메일 확인됨
- François PottierInria Parisinria.fr의 이메일 확인됨
- Pierre-Evariste DagandCNRSevr.ist의 이메일 확인됨
- Tahina RamananandroMicrosoft Researchramananandro.org의 이메일 확인됨