Daniel Ziegler
发表
Adam Chlipala,
M. Frans Kaashoek,
Nickolai Zeldovich,
2015,
USENIX Annual Technical Conference.
Adam Chlipala,
M. Frans Kaashoek,
Nickolai Zeldovich,
2017,
Commun. ACM.
Bryan Parno,
N. Zeldovich,
B. Lampson,
2016
.