Dissertation 

About 1 item dissertation in line with partial strongest post-condition query results,the following is 1 to 50(Search took 0.022 seconds)

  1. Slicing Execution for Verification of C Programs,YiXiaoDong/National University of Defense Science and Technology,3/408

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile