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.

Automated Analysis of Data-Dependent Programs with Dynamic Memory

Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji. Automated Analysis of Data-Dependent Programs with Dynamic Memory. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 197-212, Springer, 2009. [doi]

Authors

Parosh Aziz Abdulla

This author has not been identified. Look up 'Parosh Aziz Abdulla' in Google

Muhsin Atto

This author has not been identified. Look up 'Muhsin Atto' in Google

Jonathan Cederberg

This author has not been identified. Look up 'Jonathan Cederberg' in Google

Ran Ji

This author has not been identified. Look up 'Ran Ji' in Google
runs on