External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin. Verifying Heap-Manipulating Programs with Unknown Procedure Calls. In Jin Song Dong, Huibiao Zhu, editors, Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Volume 6447 of Lecture Notes in Computer Science, pages 171-187, Springer, 2010. [doi]

Authors

Shengchao Qin

This author has not been identified. Look up 'Shengchao Qin' in Google

Chenguang Luo

This author has not been identified. Look up 'Chenguang Luo' in Google

Guanhua He

This author has not been identified. Look up 'Guanhua He' in Google

Florin Craciun

This author has not been identified. Look up 'Florin Craciun' in Google

Wei-Ngan Chin

This author has not been identified. Look up 'Wei-Ngan Chin' in Google
runs on