Katherine Cordwell
发表
J. Benedetto,
Katherine Cordwell,
Mark Magsino,
2019,
New Trends in Applied Harmonic Analysis, Volume 2.
Katherine Cordwell,
2019
.
Katherine Cordwell,
2018
.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2021,
Formal Methods in System Design.
Steven J. Miller,
Max Hlavacek,
Y. N. T. Vu,
2018,
Research in Number Theory.
Steven J. Miller,
Max Hlavacek,
Y. N. T. Vu,
2016,
Research in Number Theory.
Steven J. Miller,
Max Hlavacek,
Y. N. T. Vu,
2016
.
Yong Kiam Tan,
Katherine Cordwell,
André Platzer,
2021,
ITP.
Yong Kiam Tan,
Stefan Mitsch,
Katherine Cordwell,
2020,
Formal Methods in System Design.
André Platzer,
Stefan Mitsch,
Yong Kiam Tan,
2019,
FM.
Stefan Mitsch,
Andr'e Platzer,
Katherine Cordwell,
2021,
FM.