Yao-Wen HuangFan YiChung-Hung TsaiChristian HangDer-Tsai LeeSY-YEN KUO2018-09-102018-09-102010-08http://scholars.lib.ntu.edu.tw/handle/123456789/359273System and Method for Securing Web Application Code and Verifying Correctness of Softwarepatent