내 프로필 만들기
공개 액세스
모두 보기자료 39개
자료 3개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jasmin BlanchetteLudwig-Maximilians-Universität Münchenifi.lmu.de의 이메일 확인됨
- Dmitriy TraytelUniversity of Copenhagendi.ku.dk의 이메일 확인됨
- Johannes Hölzlin.tum.de의 이메일 확인됨
- Tobias NipkowProfessor of Computer Science, Technische Universität Münchenin.tum.de의 이메일 확인됨
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science Institutegssi.it의 이메일 확인됨
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaignillinois.edu의 이메일 확인됨
- Grigore RosuUniversity of Illinois at Urbana Champaignillinois.edu의 이메일 확인됨
- Nicholas SmallboneChalmers University of Technologychalmers.se의 이메일 확인됨
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu Universityimi.kyushu-u.ac.jp의 이메일 확인됨
- Traian Florin ȘerbănuțăUniversity of Bucharestunibuc.ro의 이메일 확인됨
- Ioana LeusteanProfessor, University of Bucharestfmi.unibuc.ro의 이메일 확인됨
- Markus N RabeAugmentaugmentcode.com의 이메일 확인됨
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Securitycispa.de의 이메일 확인됨
- Dieter HutterGerman Research Center for Artificial Intelligencedfki.de의 이메일 확인됨
- Helmut SeidlProfessor für Informatik, School of CIT, TU Münchenin.tum.de의 이메일 확인됨
- Christian HammerProfessor of Computer Science at University of Passauuni-passau.de의 이메일 확인됨
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHkerguelen.org의 이메일 확인됨