Mijn eigen profiel maken
Medeauteurs
- Magnus CarlssonGeverifieerd e-mailadres voor carlssonia.org
- Carroll MorganProfessor, University of New South Wales and DATA61Geverifieerd e-mailadres voor unsw.edu.au
- Annabelle McIverMacquarie UniversityGeverifieerd e-mailadres voor mq.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Scott OwensUniversity of KentGeverifieerd e-mailadres voor kent.ac.uk
- Guodong LiUniversity of Utah, Fujitsu Labs of America, Synopsys, GoogleGeverifieerd e-mailadres voor cs.utah.edu
- G McC HaworthHonorary Fellow, University of ReadingGeverifieerd e-mailadres voor reading.ac.uk
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoGeverifieerd e-mailadres voor di.uminho.pt
- Iago AbalComputer Engineer & ResearcherGeverifieerd e-mailadres voor iagoabal.eu
- Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoGeverifieerd e-mailadres voor di.uminho.pt
- John LaunchburyChief Scientist, GaloisGeverifieerd e-mailadres voor galois.com
- Ashish DarbariFOUNDER & CEO, AXIOMISEGeverifieerd e-mailadres voor DARBARI.ORG