Katherine Cordwell
发表
Stefan Mitsch,
Yong Kiam Tan,
Andrew Sogokon,
2020,
ArXiv.
André Platzer,
Stefan Mitsch,
Yong Kiam Tan,
2019,
FM.
Andr'e Platzer,
Katherine Cordwell,
2019,
CADE.
Stefan Steinerberger,
Steven J. Miller,
Katherine Cordwell,
2019,
Integers.
André Platzer,
Yong Kiam Tan,
Katherine Cordwell,
2021,
Arch. Formal Proofs.
Yong Kiam Tan,
Andr'e Platzer,
Katherine Cordwell,
2021,
ITP.
Stefan Mitsch,
Andr'e Platzer,
Katherine Cordwell,
2021,
FM.