C. Stanford
发表
C. Stanford,
2020
.
Nikolaj Bjørner,
Margus Veanes,
Caleb Stanford,
2020,
PLDI.
R. Alur,
Konstantinos Kallas,
C. Stanford,
2022,
CIDR.
Rajeev Alur,
Caleb Stanford,
Konstantinos Mamouras,
2017,
ICALP.
M. Veanes,
C. Stanford,
Margus Veanes,
2023,
CAV.
Rajeev Alur,
Caleb Stanford,
Filip Niksic,
2022,
PPoPP.
Rajeev Alur,
Caleb Stanford,
Filip Niksic,
2021,
PPoPP.
B. Pierce,
C. Stanford,
Harrison Goldstein,
2023,
ArXiv.
Rajeev Alur,
Val Tannen,
Caleb Stanford,
2021,
PODS.
Rajeev Alur,
Caleb Stanford,
Filip Niksic,
2020,
Proc. ACM Program. Lang..
Rajeev Alur,
Val Tannen,
Caleb Stanford,
2019,
PLDI.
R. Alur,
C. Stanford,
Christopher Watson,
2023,
Proc. ACM Program. Lang..
Rajeev Alur,
Caleb Stanford,
Konstantinos Mamouras,
2019,
Proc. ACM Program. Lang..