About 2 item dissertation in line with proof-carrying code query results,the following is 1 to 50(Search took 0.083 seconds)
- A Modular Approach on Building Certified Software System,GuoYu/University of Science and Technology of China,0/227
- 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
|