Založit si vlastní profil
Veřejný přístup
Zobrazit všechny15 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Daniel KroeningAmazonE-mailová adresa ověřena na: amazon.com
- Christian SchallhartGoogleE-mailová adresa ověřena na: schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonE-mailová adresa ověřena na: ucl.ac.uk
- Andreas HolzerUniversity of TorontoE-mailová adresa ověřena na: cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtE-mailová adresa ověřena na: thi.de
- Serdar TasiranS3, Amazon Web ServicesE-mailová adresa ověřena na: acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonE-mailová adresa ověřena na: cs.ucl.ac.uk
- Luc MarangetInriaE-mailová adresa ověřena na: inria.fr
- Andreas BauerUniversität AugsburgE-mailová adresa ověřena na: uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyE-mailová adresa ověřena na: lmu.de
- Alastair DonaldsonImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyE-mailová adresa ověřena na: kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mailová adresa ověřena na: diffblue.com
- Thomas WahlNortheastern University, Boston, USAE-mailová adresa ověřena na: northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: sosy.ifi.lmu.de
- Thomas LembergerLMU MunichE-mailová adresa ověřena na: lmu.de
- Felipe R. MonteiroAmazonE-mailová adresa ověřena na: amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSE-mailová adresa ověřena na: amazon.com