Statistics
Publications
3
Citations
39
H-Index
3
Active since
2008
Affiliations
Durham University(Current)
Chenguang Luo is an author at Durham University specializing in computing, computer science, and hoare logic.
Publications per year
2008–2012
3
3
Loop invariant synthesis in a combined abstract domain
Shengchao Qin, Guanhua He, Chenguang Luo et al. · Journal of Symbolic Computation · 2012 · 13 citations
Verifying BPEL-Like Programs with Hoare Logic
Chenguang Luo, Shengchao Qin, Zongyan Qiu · 2008 · 11 citations · Full text
1–3 of 3