내 프로필 만들기
공개 액세스
모두 보기자료 13개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Daniel KroeningAmazonamazon.com의 이메일 확인됨
- Michael TautschnigQueen Mary University of Londonqmul.ac.uk의 이메일 확인됨
- Martin BrainCity, University of Londoncity.ac.uk의 이메일 확인됨
- Lucas C. CordeiroReader, Dept of Computer Science, University of Manchestermanchester.ac.uk의 이메일 확인됨
- Tom MelhamProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Cristina DavidUniversity of Bristolbristol.ac.uk의 이메일 확인됨
- Tomas VojnarFIT, Brno University of Technologyfit.vutbr.cz의 이메일 확인됨
- Viktor MalikPhD. student, Brno University of Technlogyfit.vutbr.cz의 이메일 확인됨
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKcs.ox.ac.uk의 이메일 확인됨
- Pascal KesseliDiffblue Ltd.diffblue.com의 이메일 확인됨
- Saurabh JoshiSupraOraclescse.iith.ac.in의 이메일 확인됨
- Ruben MartinsCarnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGbtc-es.de의 이메일 확인됨
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado Bouldercolorado.edu의 이메일 확인됨
- Laure GonnordUniversity of Lyon - LIPens-lyon.fr의 이메일 확인됨
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, Italyunimol.it의 이메일 확인됨
- Bernd FischerComputer Science Division, Stellenbosch Universitycs.sun.ac.za의 이메일 확인됨
- Salvatore La TorreUniversità degli Studi di Salernounisa.it의 이메일 확인됨
- David MonniauxResearcher in computer science, CNRS, VERIMAGuniv-grenoble-alpes.fr의 이메일 확인됨
- RAJDEEP MUKHERJEEAmazonamazon.com의 이메일 확인됨