내 프로필 만들기
공개 액세스
모두 보기자료 9개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au의 이메일 확인됨
- Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. Twenteutwente.nl의 이메일 확인됨
- Gerwin KleinProofcraft and UNSWunsw.edu.au의 이메일 확인됨
- Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, Amsterdamcs.vu.nl의 이메일 확인됨
- Leonid RyzhykFelderafeldera.com의 이메일 확인됨
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems의 이메일 확인됨
- Matthew FernandezIntel Labsintel.com의 이메일 확인됨
- Peter ChubbUNSW, Sydneyunsw.edu.au의 이메일 확인됨
- Henk SipsEm. Professor of Computer Science, Delft University of Technologytudelft.nl의 이메일 확인됨
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, Portugalisep.ipp.pt의 이메일 확인됨
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au의 이메일 확인됨
- Guillaume PierreProfessor of computer science, University of Rennesirisa.fr의 이메일 확인됨
- Anne-Marie KermarrecProfessor, EPFLepfl.ch의 이메일 확인됨
- Yan LiuAssociate Professor, Concordia University, Canadaconcordia.ca의 이메일 확인됨
- Darren CoferRockwell Collinsieee.org의 이메일 확인됨
- Etienne Le SueurNICTAnicta.com.au의 이메일 확인됨
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au의 이메일 확인됨
- Adam FoltzerFastlyacfoltzer.net의 이메일 확인됨
- Michael W WhalenAmazon, Inc. and the University of Minnesotacs.umn.edu의 이메일 확인됨
- Andrew GacekAmazon Web Serviceamazon.com의 이메일 확인됨