建立我自己的個人學術檔案
公開取用
查看全部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 的電子郵件地址已通過驗證