Toby Murray
发表
Toby Murray,
Paul Rimba,
Parampalli Udaya,
2019,
2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Gidon Ernst,
Toby Murray,
Toby C. Murray,
2018,
OZCHI.
Toby Murray,
2020,
Arch. Formal Proofs.
Toby Murray,
Gabriele Keller,
Gerwin Klein,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Gidon Ernst,
Toby Murray,
Benjamin I. P. Rubinstein,
2020,
FASE.
Toby Murray,
Graeme Smith,
Toby C. Murray,
2019,
FM.
Toby Murray,
Sophia Drossopoulou,
James Noble,
2016
.
Toby Murray,
Toby C. Murray,
Robert Sison,
2019,
ITP.
Toby Murray,
Robert Sison,
2020,
ArXiv.