![](/img/cover-not-exists.png)
[IEEE 2015 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Can Tho, Vietnam (2015.1.25-2015.1.28)] The 2015 IEEE RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF) - Interaction analysis of annotated specification and program codes in Extended Static Checking
Truong-Thang Nguyen,, Manh-Dong Tran,Year:
2015
Language:
english
DOI:
10.1109/rivf.2015.7049890
File:
PDF, 192 KB
english, 2015