Wei Xiong

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Durham University, UK (PHD)

Education History

Durham University, UK

PHD

Publications

Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu
Towards an Axiomatic Verification System for JavaScript. TASE (2011)