내 프로필 만들기
공개 액세스
모두 보기자료 15개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Martin OderskyEPFLepfl.ch의 이메일 확인됨
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieureens.fr의 이메일 확인됨
- Ricardo Honorato-ZimmerSchool of Informatics, University of Edinburghsms.ed.ac.uk의 이메일 확인됨
- Gerardo SchneiderProfessor of Computer Science, University of Gothenburgcse.gu.se의 이메일 확인됨
- Nada AminHarvard Universityalum.mit.edu의 이메일 확인됨
- Tiark RompfPurdue Universitypurdue.edu의 이메일 확인됨
- Tobias HeindelTU Berlintu-berlin.de의 이메일 확인됨
- Christoph KochProfessor of Computer Science, EPFLepfl.ch의 이메일 확인됨
- Samuel GruetterMITmit.edu의 이메일 확인됨
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State Universitymsu.edu의 이메일 확인됨
- Cesar SanchezResearch Professor, IMDEA Software Instituteimdea.org의 이메일 확인됨
- Amir ShaikhhaUniversity of Edinburghed.ac.uk의 이메일 확인됨
- Aggelos BiboudisOracleoracle.com의 이메일 확인됨
- Heather MillerCarnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Olivier BlanvillainEPFLepfl.ch의 이메일 확인됨
- Vlad UrechePhD student, LAMP, EPFLepfl.ch의 이메일 확인됨
- Russ HarmerCNRS, Lyonens-lyon.fr의 이메일 확인됨
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)tuhh.de의 이메일 확인됨
- Katja TumaAssistant Professor at the Vrije Universiteit Amsterdamvu.nl의 이메일 확인됨
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.tudelft.nl의 이메일 확인됨