Issue 4-6/2020
Content (3 Articles)
Original Article
An Event-B based approach for cloud composite services verification
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb
Original Article
TFA: an efficient and precise virtual method call resolution for Java
Xilong Zhuo, Chenyi Zhang
Original Article
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula
Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan