Meng-meng Yao

Publication Activity (10 Years)

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

Top Topics

Dynamic Programming

Top Venues

Publications

Meng-meng Yao, Ye Zhu, Li Tang
Research on Formal Analysis Method of Computational Soundness Based on Strand Space. ICMAI (2019)