External Links

Cite Key

Statistics

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

PDF

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.

Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning

Long H. Pham, Jun Sun 0001, Quang Loc Le. Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. In Anthony Widjaja Lin, editor, Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. Volume 11893 of Lecture Notes in Computer Science, pages 405-424, Springer, 2019. [doi]

Authors

Long H. Pham

This author has not been identified. Look up 'Long H. Pham' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google

Quang Loc Le

This author has not been identified. Look up 'Quang Loc Le' in Google
runs on