내 프로필 만들기
공개 액세스
모두 보기자료 15개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Daniel KroeningAmazonamazon.com의 이메일 확인됨
- Christian SchallhartGoogleschallhart.net의 이메일 확인됨
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wienforsyte.tuwien.ac.at의 이메일 확인됨
- Jade AlglaveARM and University College Londonucl.ac.uk의 이메일 확인됨
- Andreas HolzerUniversity of Torontocs.toronto.edu의 이메일 확인됨
- Stefan KugeleTechnische Hochschule Ingolstadtthi.de의 이메일 확인됨
- Serdar TasiranS3, Amazon Web Servicesacm.org의 이메일 확인됨
- Byron CookProfessor of Computer Science, UCL, Amazoncs.ucl.ac.uk의 이메일 확인됨
- Luc MarangetInriainria.fr의 이메일 확인됨
- Andreas BauerUniversität Augsburguni-a.de의 이메일 확인됨
- Dirk BeyerProfessor of Computer Science, LMU Munich, Germanylmu.de의 이메일 확인됨
- Alastair DonaldsonImperial College Londonimperial.ac.uk의 이메일 확인됨
- Zhonglei WangComputer Science, Karlsruhe Institute of Technologykit.edu의 이메일 확인됨
- Tom MelhamProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussexdiffblue.com의 이메일 확인됨
- Thomas WahlNortheastern University, Boston, USAnortheastern.edu의 이메일 확인됨
- Matthias DanglLudwig-Maximilians-Universität Münchensosy.ifi.lmu.de의 이메일 확인됨
- Thomas LembergerLMU Munichlmu.de의 이메일 확인됨
- Felipe R. MonteiroAmazonamazon.com의 이메일 확인됨
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSamazon.com의 이메일 확인됨