Eric Mertens
发表
Patrick C. Hickey,
Lee Pike,
Aaron Tomb,
2016,
RV.
Brian Huffman,
Serdar Tasiran,
Byron Cook,
2018,
CAV.
Iavor S. Diatchki,
Eric Mertens,
2008
.
John Launchbury,
David W. Archer,
Eric Mertens,
2014,
ESOP.
Scott Moore,
Jennifer Paykin,
Luke Maurer,
2019,
ArXiv.