Autor:	Zhang, Jingzhi, Wang, Guohui, Shi, Zhiping, Guan, Yong, Li, Yongdong
Zdroj:	In Journal of Logical and Algebraic Methods in Programming August 2019 106:29-38
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect