Joseph Tuong
发表
Sidney Amani,
Gernot Heiser,
Yutaka Nagashima,
2016,
ASPLOS.
Sidney Amani,
June Andronick,
Corey Lewis,
2017,
Arch. Formal Proofs.