내 프로필 만들기
공개 액세스
모두 보기자료 6개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Andreas PodelskiProfessor of Computer Science, Freiburg Universityinformatik.uni-freiburg.de의 이메일 확인됨
- Josh BerdineFacebookfb.com의 이메일 확인됨
- Andrey RybalchenkoMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Peter O'HearnLacework and University College Londonucl.ac.uk의 이메일 확인됨
- Nir PitermanProfessor in Computer Science, University of Gothenburg, Swedengu.se의 이메일 확인됨
- Daniel KroeningAmazonamazon.com의 이메일 확인됨
- Thomas BallMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Samin IshtiaqRiverlaneriverlane.com의 이메일 확인됨
- Moshe Y. VardiRice Universitycs.rice.edu의 이메일 확인됨
- John LaunchburyChief Scientist, Galoisgalois.com의 이메일 확인됨
- Dino DistefanoMeta and Queen Mary University of Londoneecs.qmul.ac.uk의 이메일 확인됨
- Mooly SagivTel Aviv Universityacm.org의 이메일 확인됨
- Sriram RajamaniMicrosoft Research microsoft.com의 이메일 확인됨
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerlandusi.ch의 이메일 확인됨
- Carsten FuhsSenior Lecturer, Birkbeck, University of Londondcs.bbk.ac.uk의 이메일 확인됨
- Hongseok YangProfessor, School of Computing, KAISTkaist.ac.kr의 이메일 확인됨
- Jasmin FisherProfessor of Computational Biology, UCL Cancer Instituteucl.ac.uk의 이메일 확인됨
- Stephen MagillSonatype, Inc.sonatype.com의 이메일 확인됨
- Marc BrockschmidtResearch Scientist, Google DeepMindgoogle.com의 이메일 확인됨
- Nancy A. DayUniversity of Waterloouwaterloo.ca의 이메일 확인됨