Research on Formal Design and Verification of Operating Systems
Crossref DOI link: https://doi.org/10.1007/978-981-13-1026-3_6
Published Online: 2018-07-10
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Qian, Zhenjiang
Liu, Yongjun
Jin, Yong
Xing, Xiaoshuang
Zhang, Mingxin
Gong, Shengrong
Liu, Wei
Yang, Weiyong
Tan, Jack
Zhang, Lifeng
License valid from 2018-01-01