创建我的个人资料
合著作者
- Magnus Carlsson在 carlssonia.org 的电子邮件经过验证
- Carroll MorganProfessor, University of New South Wales and DATA61在 unsw.edu.au 的电子邮件经过验证
- Annabelle McIverMacquarie University在 mq.edu.au 的电子邮件经过验证
- Tom MelhamProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Scott OwensUniversity of Kent在 kent.ac.uk 的电子邮件经过验证
- Guodong LiUniversity of Utah, Fujitsu Labs of America, Synopsys, Google在 cs.utah.edu 的电子邮件经过验证
- G McC HaworthHonorary Fellow, University of Reading在 reading.ac.uk 的电子邮件经过验证
- Alcino CunhaHASLab, INESC TEC and Universidade do Minho在 di.uminho.pt 的电子邮件经过验证
- Iago AbalComputer Engineer & Researcher在 iagoabal.eu 的电子邮件经过验证
- Jorge Sousa PintoHASLab / INESC TEC & Universidade do Minho在 di.uminho.pt 的电子邮件经过验证
- John LaunchburyChief Scientist, Galois在 galois.com 的电子邮件经过验证
- Ashish DarbariFOUNDER & CEO, AXIOMISE在 DARBARI.ORG 的电子邮件经过验证