自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Xavier LeroyCollège de France確認したメール アドレス: college-de-france.fr
- David PichardieProfessor, ENS Rennes, France確認したメール アドレス: inria.fr
- Andrew W. AppelProfessor of Computer Science, Princeton University確認したメール アドレス: princeton.edu
- Frédéric BessonInria確認したメール アドレス: inria.fr
- Christian Ferdinand確認したメール アドレス: absint.com
- Gilles BartheMPI-SP and IMDEA Software Institute確認したメール アドレス: mpi-sp.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: normalesup.org
- Gordon StewartBedRock Systems, Inc.確認したメール アドレス: bedrocksystems.com
- Thomas JensenDirecteur de recherche INRIA Rennes and IRISA確認したメール アドレス: inria.fr
- Jan VitekNortheastern University確認したメール アドレス: neu.edu
- Andy KingKent Portcullis確認したメール アドレス: kent.ac.uk
- Roberto GiacobazziProfessor of Computer Science, University of Arizona確認したメール アドレス: cs.arizona.edu