Search
E-mail
RSS

Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Runtime Program Verification Framework Based on Instrumentation and Boolean Logic
LI Ye-Hua, GU Ai-Jie, ZHANG Ying-Nan, BANG Fei
Computer Engineering . 2013, (1): 29 -34 .  DOI: 10.3969/j.issn.1000-3428.2013.01.006

copyright@Editorial Department of Computer Engineering
Address：No. 63, Chengliu Road, Shanghai, 201808
Tel: 021-67092217　
E-mail：ecice06@ecict.com.cn
Powered by Beijing Magtech Co. Ltd,.