내 프로필 만들기
공개 액세스
모두 보기자료 14개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Shromona GhoshGraduate Student Researcher, University of California, Berkeleyberkeley.edu의 이메일 확인됨
- Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, Franceimag.fr의 이메일 확인됨
- Carla PiazzaProfessor of Computer Science, University of Udineuniud.it의 이메일 확인됨
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Alberto CasagrandeUniversità di Triesteunits.it의 이메일 확인됨
- Ankush DesaiSenior Applied Scientist, Amazon Web Servicesamazon.com의 이메일 확인됨
- Xiaoqing JinApple Inc.cs.ucr.edu의 이메일 확인됨
- Jyotirmoy V. DeshmukhAssociate Professor, University of Southern Californiausc.edu의 이메일 확인됨
- Somesh JhaLubar Chair of Computer Science, University of Wisconsincs.wisc.edu의 이메일 확인됨