Truong-Thang Nguyen, Manh-Dong Tran. Interaction analysis of annotated specification and program codes in Extended Static Checking. In The 2015 IEEE RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future, RIVF 2015, Can Tho, Vietnam, January 25-28, 2015. pages 144-150, IEEE, 2015. [doi]
Abstract is missing.