Specification transformation method for functional program generation based on partition-recursion refinement rule
['Zhengkang Zuo', 'Zhicheng Zeng', 'Wei Su', 'Qing Huang', 'Yuhan Ke', 'Zengxin Liu', 'Changjing Wang', 'Wei Liang']
/
Information Sciences
/ Vol. 633
0.0 / 5
0
Reviews
You must log in to post, edit and delete a review.
Log in
Earn 50 points when your review is published.
About KnowledgeRank Points
No reviews have been posted yet. Be the first to write one!