Chen, Shanyan; Wang, Guohui; Li, Ximeng; Zhang, Qianying; Shi, Zhiping; Guan, Yong Formalization of camera pose estimation algorithm based on Rodrigues formula. (English) Zbl 1458.68226 Formal Asp. Comput. 32, No. 4-6, 417-437 (2020). MSC: 68T45 68Q60 68T40 68V15 PDF BibTeX XML Cite \textit{S. Chen} et al., Formal Asp. Comput. 32, No. 4--6, 417--437 (2020; Zbl 1458.68226) Full Text: DOI OpenURL
Zhuo, Xilong; Zhang, Chenyi TFA: an efficient and precise virtual method call resolution for Java. (English) Zbl 1458.68036 Formal Asp. Comput. 32, No. 4-6, 395-416 (2020). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{X. Zhuo} and \textit{C. Zhang}, Formal Asp. Comput. 32, No. 4--6, 395--416 (2020; Zbl 1458.68036) Full Text: DOI OpenURL
Lahouij, Aida; Hamel, Lazhar; Graiet, Mohamed; el Ayeb, Béchir An Event-B based approach for cloud composite services verification. (English) Zbl 1458.68014 Formal Asp. Comput. 32, No. 4-6, 361-393 (2020). MSC: 68M11 68Q60 PDF BibTeX XML Cite \textit{A. Lahouij} et al., Formal Asp. Comput. 32, No. 4--6, 361--393 (2020; Zbl 1458.68014) Full Text: DOI OpenURL