Dissertation 

About 2 item dissertation in line with proof-carrying code query results,the following is 1 to 50(Search took 0.087 seconds)

  1. A Modular Approach on Building Certified Software System,GuoYu/University of Science and Technology of China,0/227
  2. Certifying Concurrent Porgrams Using Transactional Memory,LiLong/University of Science and Technology of China,1/169

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile