Login / Signup
Yunyan Liao
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Dependency Analysis
Formal Proof
Mining Software Repositories
Visual Basic
Top Venues
QRS Companion
Int. J. Softw. Eng. Knowl. Eng.
</>
Publications
</>
Fuqi Cai
,
Changjing Wang
,
Qing Huang
,
Zhengkang Zuo
,
Yunyan Liao
Search for Compatible Source Code.
Int. J. Softw. Eng. Knowl. Eng.
31 (3) (2021)
Zhengkang Zuo
,
Yue Fang
,
Qing Huang
,
Yunyan Liao
,
Yuan Wang
,
Changjing Wang
Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems.
QRS Companion
(2020)