References of "Zhang, Lijun"
     in
Bookmark and Share    
Full Text
See detailPreface (Special section on software systems 2020)
Xie, Tao; Jin, Zhi; Li, Xuandong et al

in Journal of Computer Science and Technology (2020), 35(6), 1231-1233

Detailed reference viewed: 34 (0 UL)
See detailProceedings of the 6th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications
Pang, Jun UL; Zhang, Lijun

Book published by Springer (2020)

Detailed reference viewed: 34 (0 UL)
Full Text
Peer Reviewed
See detailAn Automatic Proving Approach to Parameterized Verification
Li, Yongjian; Duan, Kaiqiang; Jansen, David et al

in ACM Transactions on Computational Logic (2018), 19(4), 1-27

Detailed reference viewed: 119 (1 UL)