내 프로필 만들기
공개 액세스
모두 보기자료 4개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Mike DoddsGalois Inc.galois.com의 이메일 확인됨
- Gavin BiermanOracleoracle.com의 이메일 확인됨
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Richard BornatProfessor of Computer Programming, Middlesex Universitybornat.me.uk의 이메일 확인됨
- Dino DistefanoMeta and Queen Mary University of Londoneecs.qmul.ac.uk의 이메일 확인됨
- Kasper SvendsenDepartment of Computer Science, Aarhus Universityitu.dk의 이메일 확인됨
- Peter O'HearnLacework and University College Londonucl.ac.uk의 이메일 확인됨
- Thomas Dinsdale-YoungAarhus Universityd-y.me.uk의 이메일 확인됨
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College Londonimperial.ac.uk의 이메일 확인됨
- Sylvan ClebschMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Byron CookProfessor of Computer Science, UCL, Amazoncs.ucl.ac.uk의 이메일 확인됨
- Matko BotincanComputer Scientistcam.ac.uk의 이메일 확인됨
- Alexey GotsmanIMDEA Software Instituteimdea.org의 이메일 확인됨
- James NobleCreative Research & Programmingacm.org의 이메일 확인됨
- Hongseok YangProfessor, School of Computing, KAISTkaist.ac.kr의 이메일 확인됨
- Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of Technologystevens.edu의 이메일 확인됨
- Colin S. GordonAssociate Professor of Computer Science, Drexel Universitydrexel.edu의 이메일 확인됨
- Christoph HaaseUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨