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.

Context-Sensitive Multivariant Assertion Checking in Modular Programs

Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo. Context-Sensitive Multivariant Assertion Checking in Modular Programs. In Miki Hermann, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Volume 4246 of Lecture Notes in Computer Science, pages 392-406, Springer, 2006. [doi]

Authors

Pawel Pietrzak

This author has not been identified. Look up 'Pawel Pietrzak' in Google

Jesús Correas

This author has not been identified. Look up 'Jesús Correas' in Google

Germán Puebla

This author has not been identified. Look up 'Germán Puebla' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google
runs on