Yoshiki Takashima
发表
Sicun Gao,
Armaiti Ardeshiricham,
Ryan Kastner,
2019,
CCS.
Corina S. Pasareanu,
Limin Jia,
Ruben Martins,
2021,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.