Matthew Fernandez
发表
Xin Gao,
Gerwin Klein,
June Andronick,
2013,
ICFEM.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2015
.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2013
.
Xin Gao,
Rafal Kolanski,
Gerwin Klein,
2016,
Arch. Formal Proofs.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2013,
PLOS '13.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2015,
FM.
Gerwin Klein,
Andrew Boyton,
Matthew Fernandez,
2014
.
Gerwin Klein,
Ihor Kuz,
Matthew Fernandez,
2012
.
Matthew Fernandez,
Ben Ulmer,
Benjamin Ulmer,
2014
.
Gernot Heiser,
Gerwin Klein,
Ihor Kuz,
2018,
Commun. ACM.
Matthew Fernandez,
M. Fernandez,
2016
.
Ihor Kuz,
Matthew Fernandez,
Adrian Danis,
2014
.
Toby Murray,
Gerwin Klein,
Ihor Kuz,
2013
.