创建我的个人资料
开放获取的出版物数量
查看全部13 篇文章
1 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Daniel KroeningAmazon在 amazon.com 的电子邮件经过验证
- Michael TautschnigQueen Mary University of London在 qmul.ac.uk 的电子邮件经过验证
- Martin BrainCity, University of London在 city.ac.uk 的电子邮件经过验证
- Lucas C. CordeiroReader, Dept of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
- Tom MelhamProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Cristina DavidUniversity of Bristol在 bristol.ac.uk 的电子邮件经过验证
- Tomas VojnarFIT, Brno University of Technology在 fit.vutbr.cz 的电子邮件经过验证
- Viktor MalikPhD. student, Brno University of Technlogy在 fit.vutbr.cz 的电子邮件经过验证
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的电子邮件经过验证
- Pascal KesseliDiffblue Ltd.在 diffblue.com 的电子邮件经过验证
- Saurabh JoshiSupraOracles在 cse.iith.ac.in 的电子邮件经过验证
- Ruben MartinsCarnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AG在 btc-es.de 的电子邮件经过验证
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado Boulder在 colorado.edu 的电子邮件经过验证
- Laure GonnordUniversity of Lyon - LIP在 ens-lyon.fr 的电子邮件经过验证
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, Italy在 unimol.it 的电子邮件经过验证
- Bernd FischerComputer Science Division, Stellenbosch University在 cs.sun.ac.za 的电子邮件经过验证
- Salvatore La TorreUniversità degli Studi di Salerno在 unisa.it 的电子邮件经过验证
- David MonniauxResearcher in computer science, CNRS, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
- RAJDEEP MUKHERJEEAmazon在 amazon.com 的电子邮件经过验证