Preliminary Findings about DevSecOps from Grey Literature. - Runfeng Mao; He Zhang 001; Qiming Dai; Huang Huang; Guoping Rong; Haifeng Shen; Lianping Chen; Kaixiang Lu (QRS, 2020)

A formal specification language and automatic modeling method of asset securitization contract. - Yang Li; Kai Hu 004; Jie Li 051; Kaixiang Lu; Yuan Ai (J. King Saud Univ. Comput. Inf. Sci., 2024)