[IEEE 2016 IEEE 3rd International Conference on Cyber Security and Cloud Computing (CSCloud) - Beijing, China (2016.6.25-2016.6.27)] 2016 IEEE 3rd International Conference on Cyber Security and Cloud Computing (CSCloud) - A Correctness Verification Method for C Programs Based on VCC
- 作者Liang, Hongliang; Zhang, Daijie; Pei, Xiaoxiao; Jia, Xiaodong; Li, Guangyuan; Xu, Jiuyun
- 文件大小196.32KB
- 发表时间2016
- DOI10.1109/cscloud.2016.30
- 页码172-177
DonovanosisO'Farrell, N · Sexually Transmitted Infections · 2002
Papulonecrotic tuberculide of the glans penisVijaikumar, M · Sexually Transmitted Infections · 2001
"Water can" penis caused by tuberculosisKarthikeyan, K · Sexually Transmitted Infections · 2004
Genetic diversity in Trichomonas vaginalisMeade, J. C.; Carlton, J. M. · Sexually Transmitted Infections · 2013
"The syphilis enigma": the riddle resolved?Morton, R S · Sexually Transmitted Infections · 2001
Trichomoniasis and HIV interactions: a reviewKissinger, P.; Adamski, A. · Sexually Transmitted Infections · 2013
Oral sex and HIV transmissionHawkins, D. A · Sexually Transmitted Infections · 2001
Balanitis and balanoposthitis: a review.Edwards, S · Sexually Transmitted Infections · 1996