내 프로필 만들기
공개 액세스
모두 보기자료 3개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Fiona McNeillReader in Computing Education, University of Edinburghed.ac.uk의 이메일 확인됨
- Alan BundyProfessor of Automated Reasoning, University of Edinburghed.ac.uk의 이메일 확인됨
- Myrto ArapinisSchool of Informatics, University of Edinburghinf.ed.ac.uk의 이메일 확인됨
- Aggelos KiayiasSchool of Informatics, University of Edinburgh, & IOGed.ac.uk의 이메일 확인됨
- Graham SteelINRIAcryptosense.com의 이메일 확인됨