Showing results 4 to 4 of 4
SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript Lee, Hongki; Won, Sooncheol; Jin, Joonho; Cho, Junhee; Ryu, Sukyoung, 19th International Workshop on Foundations of Object-Oriented Languages, ACM, 2012-10-22 |
Discover