Crea il mio profilo
Coautori
- Magnus CarlssonEmail verificata su carlssonia.org
- Carroll MorganProfessor, University of New South Wales and DATA61Email verificata su unsw.edu.au
- Annabelle McIverMacquarie UniversityEmail verificata su mq.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
- Scott OwensUniversity of KentEmail verificata su kent.ac.uk
- Guodong LiUniversity of Utah, Fujitsu Labs of America, Synopsys, GoogleEmail verificata su cs.utah.edu
- G McC HaworthHonorary Fellow, University of ReadingEmail verificata su reading.ac.uk
- Alcino CunhaHASLab, INESC TEC and Universidade do MinhoEmail verificata su di.uminho.pt
- Iago AbalComputer Engineer & ResearcherEmail verificata su iagoabal.eu
- Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoEmail verificata su di.uminho.pt
- John LaunchburyChief Scientist, GaloisEmail verificata su galois.com
- Ashish DarbariFOUNDER & CEO, AXIOMISEEmail verificata su DARBARI.ORG