An Event-B based approach for cloud composite services verification Aida LahouijLazhar HamelBéchir el Ayeb Original Article 19 September 2020 Pages: 361 - 393
TFA: an efficient and precise virtual method call resolution for Java Xilong ZhuoChenyi Zhang Original Article 06 October 2020 Pages: 395 - 416
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula Shanyan ChenGuohui WangYong Guan Original Article 05 November 2020 Pages: 417 - 437