G. Parthasarathy
发表
S. Chandran,
G. Parthasarathy,
2017
.
Alexander J. Summers,
G. Parthasarathy,
Thibault Dardinier,
2022,
ArXiv.
Alexander J. Summers,
Gaurav Parthasarathy,
Peter Müller,
2021,
CAV.
G. Parthasarathy,
Thibault Dardinier,
Peter Muller,
2022,
Proc. ACM Program. Lang..