Articles by Zhong Xu (1)

Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software

Zhong Xu and Xiao Jianyu

Information Technology Journal 7 ( 4 ): 623 - 630 , 2008

Do you have a suggestion for journals

Suggest Journal