Hou Honglun
College of Intenet of Things Engineering, Hohai University, 213022, Changzhou, China
Lv Jia
Department of Computer Science and Engineering, Zhejiang University City College, 310015, Hangzhou, China
Wu Minghui
College of Intenet of Things Engineering, Hohai University, 213022, Changzhou, China
PDF References Citation
How to cite this article
Hou Honglun, Lv Jia and Wu Minghui, 2013. Soft Verifying Dynamic Features in Dynamic Programs. Information Technology Journal, 12: 8116-8122.
DOI: 10.3923/itj.2013.8116.8122
URL: https://scialert.net/abstract/?doi=itj.2013.8116.8122
DOI: 10.3923/itj.2013.8116.8122
URL: https://scialert.net/abstract/?doi=itj.2013.8116.8122