Toggle navigation
Home
Master Journal List
Contact
Suggest a Journal
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