내 프로필 만들기
공개 액세스
모두 보기자료 17개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jasmin BlanchetteLudwig-Maximilians-Universität Münchenifi.lmu.de의 이메일 확인됨
- Armin BiereProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.de의 이메일 확인됨
- Maximilian HeisingerJohannes Kepler Universityjku.at의 이메일 확인됨
- Haniel BarbosaUniversidade Federal de Minas Geraisdcc.ufmg.br의 이메일 확인됨
- Peter LammichThe University of Manchesterin.tum.de의 이메일 확인됨
- Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campusmpi-inf.mpg.de의 이메일 확인됨
- Dmitriy TraytelUniversity of Copenhagendi.ku.dk의 이메일 확인됨
- Daniela KaufmannTU Wientuwien.ac.at의 이메일 확인됨
- Andrei PopescuUniversity of Sheffieldsheffield.ac.uk의 이메일 확인됨
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, Franceloria.fr의 이메일 확인됨
- Johannes Hölzlin.tum.de의 이메일 확인됨
- Andreas LochbihlerDigital Asset (Switzerland) GmbHinf.ethz.ch의 이메일 확인됨
- Christian Sternageluibk.ac.at의 이메일 확인됨
- Shaowei CaiInstitute of Software, Chinese Academy of Sciencesios.ac.cn의 이메일 확인됨
- Xindi Zhang (张昕荻)Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所)ios.ac.cn의 이메일 확인됨