Skapa en profil
Offentlig åtkomst
Visa alla15 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Daniel KroeningAmazonVerifierad e-postadress på amazon.com
- Christian SchallhartGoogleVerifierad e-postadress på schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonVerifierad e-postadress på ucl.ac.uk
- Andreas HolzerUniversity of TorontoVerifierad e-postadress på cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtVerifierad e-postadress på thi.de
- Serdar TasiranS3, Amazon Web ServicesVerifierad e-postadress på acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonVerifierad e-postadress på cs.ucl.ac.uk
- Luc MarangetInriaVerifierad e-postadress på inria.fr
- Andreas BauerUniversität AugsburgVerifierad e-postadress på uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerifierad e-postadress på lmu.de
- Alastair DonaldsonImperial College LondonVerifierad e-postadress på imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyVerifierad e-postadress på kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerifierad e-postadress på diffblue.com
- Thomas WahlNortheastern University, Boston, USAVerifierad e-postadress på northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenVerifierad e-postadress på sosy.ifi.lmu.de
- Thomas LembergerLMU MunichVerifierad e-postadress på lmu.de
- Felipe R. MonteiroAmazonVerifierad e-postadress på amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerifierad e-postadress på amazon.com