Toggle navigation
Home
Master Journal List
Contact
Suggest a Journal
Articles by X. Yi (1)
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs
X Yang
,
J Wang
and
X. Yi
Computer Journal 53 ( 1 ): 37 - 49 , 2010
Do you have a suggestion for journals
Suggest Journal