自分のプロフィールを作成
共著者
Damien DoligezChargé de recherches, Inria確認したメール アドレス: inria.fr
Sandrine BlazyProfessor of Computer Science, University of Rennes確認したメール アドレス: irisa.fr
Roberto Di CosmoProfessor of Computer Science, University Paris Diderot確認したメール アドレス: dicosmo.org
Andrew W. AppelProfessor of Computer Science, Princeton University確認したメール アドレス: princeton.edu
Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: cnrs.fr
Tom HirschowitzCNRS確認したメール アドレス: univ-smb.fr
Walid TahaHalmstad University確認したメール アドレス: hh.se
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Group確認したメール アドレス: bc.edu
Christian Ferdinand確認したメール アドレス: absint.com
Benjamin GregoireInria Sophia-Antipolis確認したメール アドレス: inria.fr
Francois RouaixPrincipal Software Engineer, Microsoft確認したメール アドレス: rouaix.org
David PichardieProfessor, ENS Rennes, France確認したメール アドレス: inria.fr
Marc PantelAssociate Professor in Computer Science, Université de Toulouse確認したメール アドレス: enseeiht.fr
Gordon StewartBedRock Systems, Inc.確認したメール アドレス: bedrocksystems.com
Guillaume MelquiondInria, University Paris Saclay確認したメール アドレス: inria.fr
Sylvie BoldoInria, LMF, University Paris Saclay確認したメール アドレス: inria.fr
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of Pisa確認したメール アドレス: unipi.it
François PottierInria Paris確認したメール アドレス: inria.fr
Pierre-Evariste DagandCNRS確認したメール アドレス: evr.ist
Tahina RamananandroMicrosoft Research確認したメール アドレス: ramananandro.org