내 프로필 만들기
공개 액세스
모두 보기자료 7개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Daniel KroeningAmazonamazon.com의 이메일 확인됨
- Armin BiereProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.de의 이메일 확인됨
- Alessandro CimattiFondazione Bruno Kesslerfbk.eu의 이메일 확인됨
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Vadim Ryvchintx.technion.ac.il의 이메일 확인됨
- Arie GurfinkelUniversity of Waterloouwaterloo.ca의 이메일 확인됨
- Hana ChocklerKing's College Londonkcl.ac.uk의 이메일 확인됨
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Randal BryantCarnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Alex GroceAssociate Professor of Computer Science, Northern Arizona Universitynau.edu의 이메일 확인됨
- Alexander NadelReseach Scientist, Intel & Technionintel.com의 이메일 확인됨
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨