내 프로필 만들기
공개 액세스
모두 보기자료 7개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Ralf JungAssistant Professor, ETH Zürichinf.ethz.ch의 이메일 확인됨
- Vu NguyenUniversity of Science, Vietnam National University - HCMCfit.hcmus.edu.vn의 이메일 확인됨
- Jeehoon KangAssistant Professor of KAIST School of Computingkaist.ac.kr의 이메일 확인됨
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Ori LahavTel Aviv Universitytau.ac.il의 이메일 확인됨
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org의 이메일 확인됨
- Azalea RaadImperial College Londonimperial.ac.uk의 이메일 확인됨
- Peter O'HearnLacework and University College Londonucl.ac.uk의 이메일 확인됨
- Josh BerdineFacebookfb.com의 이메일 확인됨
- Jules VillardImperial College Londonimperial.ac.uk의 이메일 확인됨
- Simon SpiesMPI-SWSmpi-sws.org의 이메일 확인됨
- Thanh-Hai TranConsenSysconsensys.net의 이메일 확인됨
- Michael SammlerMPI-SWSmpi-sws.org의 이메일 확인됨
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Jaemin ChoiKAISTkaist.ac.kr의 이메일 확인됨
- William ManskyAssistant Professor, University of Illinois at Chicagouic.edu의 이메일 확인됨