Yuhan Ke

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Clustering Method

Top Venues

Publications

Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang
Specification transformation method for functional program generation based on partition-recursion refinement rule. Inf. Sci. 633 (2023)