Crea il mio profilo
Accesso pubblico
Visualizza tutto15 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Daniel KroeningAmazonEmail verificata su amazon.com
- Christian SchallhartGoogleEmail verificata su schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail verificata su forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonEmail verificata su ucl.ac.uk
- Andreas HolzerUniversity of TorontoEmail verificata su cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtEmail verificata su thi.de
- Serdar TasiranS3, Amazon Web ServicesEmail verificata su acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonEmail verificata su cs.ucl.ac.uk
- Luc MarangetInriaEmail verificata su inria.fr
- Andreas BauerUniversität AugsburgEmail verificata su uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyEmail verificata su lmu.de
- Alastair DonaldsonImperial College LondonEmail verificata su imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyEmail verificata su kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail verificata su diffblue.com
- Thomas WahlNortheastern University, Boston, USAEmail verificata su northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenEmail verificata su sosy.ifi.lmu.de
- Thomas LembergerLMU MunichEmail verificata su lmu.de
- Felipe R. MonteiroAmazonEmail verificata su amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSEmail verificata su amazon.com