自分のプロフィールを作成
オープン アクセス
すべて表示15 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- Christian SchallhartGoogle確認したメール アドレス: schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Jade AlglaveARM and University College London確認したメール アドレス: ucl.ac.uk
- Andreas HolzerUniversity of Toronto確認したメール アドレス: cs.toronto.edu
- Stefan KugeleTechnische Hochschule Ingolstadt確認したメール アドレス: thi.de
- Serdar TasiranS3, Amazon Web Services確認したメール アドレス: acm.org
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk
- Luc MarangetInria確認したメール アドレス: inria.fr
- Andreas BauerUniversität Augsburg確認したメール アドレス: uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, Germany確認したメール アドレス: lmu.de
- Alastair DonaldsonImperial College London確認したメール アドレス: imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of Technology確認したメール アドレス: kit.edu
- Tom MelhamProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussex確認したメール アドレス: diffblue.com
- Thomas WahlNortheastern University, Boston, USA確認したメール アドレス: northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität München確認したメール アドレス: sosy.ifi.lmu.de
- Thomas LembergerLMU Munich確認したメール アドレス: lmu.de
- Felipe R. MonteiroAmazon確認したメール アドレス: amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWS確認したメール アドレス: amazon.com