내 프로필 만들기
공개 액세스
모두 보기자료 6개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Bart JacobsProfessor of Software Security and Correctness, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Radu MardareProfessor, University of Strathclydestrath.ac.uk의 이메일 확인됨
- Prakash PanangadenProfessor of Computer Science, McGill Universitycs.mcgill.ca의 이메일 확인됨
- Dexter KozenProfessor of Computer Science, Cornell Universitycs.cornell.edu의 이메일 확인됨
- Dana ScottVisiting Scholar, UC Berkeleycs.cmu.edu의 이메일 확인됨
- Mathys RennelaResearcher at INRIAinria.fr의 이메일 확인됨
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, Denmarkcs.aau.dk의 이메일 확인됨
- Kim G. LarsenDirector, Professor Aalborg Universitycs.aau.dk의 이메일 확인됨
- Bas WesterbaanResearch Engineer, Cloudflarecloudflare.com의 이메일 확인됨