Shengchao Qin Aziem Chawdhary Wei Xiong Malcolm Munro Zongyan Qiu Huibiao Zhu Towards an Axiomatic Verification System for JavaScript. 133-141 2011 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2011.33 conf/tase/2011 db/conf/tase/tase2011.html#QinCXMQZ11