Skapa en profil
Medförfattare
- Magnus CarlssonVerifierad e-postadress på carlssonia.org
- Carroll MorganProfessor, University of New South Wales and DATA61Verifierad e-postadress på unsw.edu.au
- Annabelle McIverMacquarie UniversityVerifierad e-postadress på mq.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Scott OwensUniversity of KentVerifierad e-postadress på kent.ac.uk
- Guodong LiUniversity of Utah, Fujitsu Labs of America, Synopsys, GoogleVerifierad e-postadress på cs.utah.edu
- G McC HaworthHonorary Fellow, University of ReadingVerifierad e-postadress på reading.ac.uk
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerifierad e-postadress på di.uminho.pt
- Iago AbalComputer Engineer & ResearcherVerifierad e-postadress på iagoabal.eu
- Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerifierad e-postadress på di.uminho.pt
- John LaunchburyChief Scientist, GaloisVerifierad e-postadress på galois.com
- Ashish DarbariFOUNDER & CEO, AXIOMISEVerifierad e-postadress på DARBARI.ORG