Philip Weaver
发表
Perry Alexander,
Nicolas Frisby,
Philip Weaver,
2007,
ASE '07.
Perry Alexander,
Nicolas Frisby,
Philip Weaver,
2007,
GPCE '07.
Philip Weaver,
Sally Browning,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Philip Weaver,
Nick Lambrou,
Matthew Walkley,
2002
.
Philip Weaver,
Tim Salau,
2017
.
Perry Alexander,
Nicolas Frisby,
Philip Weaver,
2010,
Sci. Comput. Program..
Philip Weaver,
Nick Lambrou,
Matthew Walkley,
1998
.
Philip Weaver,
Maya Ben Ari,
2017
.