静动态结合的Java程序不变性分析方法
정동태결합적Java정서불변성분석방법
DOI:10.3724/SP.J.1016.2010.00736Combined Static and Dynamic Immutability Analysis of Java Program
저자의 최근 논문