自分のプロフィールを作成
オープン アクセス
すべて表示20 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Klaus OstermannProfessor of Computer Science, University of Tübingen, Germany確認したメール アドレス: uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, Germany確認したメール アドレス: informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of Technology確認したメール アドレス: tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer Science確認したメール アドレス: cs.cmu.edu
- Tillmann RendelSAP確認したメール アドレス: sap.com
- Markus Völterindependent consultant / itemis確認したメール アドレス: acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)確認したメール アドレス: cwi.nl
- Gabriël KonatDelft University of Technology確認したメール アドレス: tudelft.nl
- Tamás SzabóGitHub確認したメール アドレス: github.com
- Guido WachsmuthOracle Labs確認したメール アドレス: oracle.com
- Guido SalvaneschiAssociate Professor - University of St.Gallen確認したメール アドレス: csail.mit.edu
- Sven KeidelTU Darmstadt, Germany確認したメール アドレス: tu-darmstadt.de
- William R. CookAssociate Professor of Computer Science, University of Texas at Austin確認したメール アドレス: cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of Jyväskylä確認したメール アドレス: metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.確認したメール アドレス: tudelft.nl
- Oliver BračevacEngineer / Researcher at Galois確認したメール アドレス: galois.com
- Thorsten BergerProfessor of Computer Science, Ruhr University Bochum確認したメール アドレス: rub.de
- André PacakPhD Student (Computer Science) JGU Mainz確認したメール アドレス: uni-mainz.de
- Sylvia GreweTU Darmstadt確認したメール アドレス: st.informatik.tu-darmstadt.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi Egyetem確認したメール アドレス: mit.bme.hu