Home
About us
About Journal
Impact Factor
Awards
Indexed-in
Editorial Office
Editorial Board
Subscription
Aims And Scopes
Subscription
Contact us
Chinese
Verification of Logical Correctness of Audit Methods Based on Model Checking
LI Ya, HUANG Shaobin, GUAN Xiaokang, LI Yanmei, ZHU Biru
Journal of Jilin University Science Edition . 2017, (
05
): 1261 -1268 .