Verification Oriented Trustworthiness Evidence and Trustworthiness Evaluation of Software
DING Xuelei 1,2+, WANG Huaimin 1, WANG Yuanyuan 2, LU Gang 1
Journal of Frontiers of Computer Science and Technology . 2010, (1): 46 -53 .  DOI: 10.3778/j.issn.1673-9418.2010.01.005