×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
Sponsored by the Ministry of Education of the People's Republic of China
Directed by Shanghai Jiao Tong University
ISSN 1007-1172 CN 31-1943/U
导航切换
J Shanghai Jiaotong Univ Sci
Home
About Journal
Editorial Board
Guide for Authors
Index
Database
Subscribe
Contacts Us
Reasoning about Software Trustworthiness with Derivation Trees
DENG Yuxin
1*
(邓玉欣),CHEN Zezhong
1
(陈泽众),WANG Yang
1
(汪洋), DU Wenjie
2
(杜文杰),MAO Bifei
3
(毛碧飞), LIANG Zhizhang
3
(梁智章), LIN Qiushi
3
(林秋诗),LI Jinghui
3
(李静辉)
J Shanghai Jiaotong Univ Sci . 2024, (
3
): 579 -587 . DOI: 10.1007/s12204-022-2515-5
map
