References of "Cao, Jialun"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailL-CMP: an automatic learning-based parameterized verification tool
Cao, Jialun; Li, Yongjian; Pang, Jun UL

in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (2018)

Detailed reference viewed: 56 (1 UL)