自分のプロフィールを作成
オープン アクセス
すべて表示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