Logic Based Formal Verification Methods: Progress and Applications
CHEN Gang, YU Linyu, QIU Zongyan, WANG Ying
Acta Scientiarum Naturalium Universitatis Pekinensis . 2016, (2): 363 -373 .  DOI: 10.13209/j.0479-8023.2015.131

Copyright © Acta Scientiarum Naturalium Universitatis Pekinensis, All Rights Reserved.
Powered by Beijing Magtech Co., Ltd.