Home
About us
About Journal
Impact Factor
Awards
Indexed-in
Editorial Office
Editorial Board
Subscription
Aims And Scopes
Subscription
Contact us
Chinese
Generating Macrooperators Based on Static Analysis
JIANG Yunfei, WANG Likun
Journal of Jilin University Science Edition . 2006, (
06
): 11 -15 .