내 프로필 만들기
공개 액세스
모두 보기자료 48개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Tobias NipkowProfessor of Computer Science, Technische Universität Münchenin.tum.de의 이메일 확인됨
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of Bambergfu-berlin.de의 이메일 확인됨
- Jasmin BlanchetteLudwig-Maximilians-Universität Münchenifi.lmu.de의 이메일 확인됨
- Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, Italyieee.org의 이메일 확인됨
- Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU Berlinmdx.ac.uk의 이메일 확인됨
- James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSbath.ac.uk의 이메일 확인됨
- David John WilsonUniversity of Bathbath.ac.uk의 이메일 확인됨
- Gerwin KleinProofcraft and UNSWunsw.edu.au의 이메일 확인됨
- Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, Polandis.umk.pl의 이메일 확인됨
- Sofiene TaharConcordia Universityece.concordia.ca의 이메일 확인됨
- Cezary KaliszykUniversity of Innsbruckuibk.ac.at의 이메일 확인됨
- Josef UrbanDistinguished Researcher at Czech Technical University in Praguecvut.cz의 이메일 확인됨
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Leonardo de MouraAmazon Web Servicesamazon.com의 이메일 확인됨
- Jean Everson MartinaSenior Lecturer, Federal University of Santa Catarinaufsc.br의 이메일 확인됨
- Andrew SogokonCarnegie Mellon Universityandrew.cmu.edu의 이메일 확인됨
- Matthew EnglandCoventry Universitycoventry.ac.uk의 이메일 확인됨
- Andrew DM SmithUniversity of Stirlingstir.ac.uk의 이메일 확인됨