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.

Underapproximation of Procedure Summaries for Integer Programs

Pierre Ganty, Radu Iosif, Filip Konecný. Underapproximation of Procedure Summaries for Integer Programs. In Nir Piterman, Scott A. Smolka, editors, Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Volume 7795 of Lecture Notes in Computer Science, pages 245-259, Springer, 2013. [doi]

Authors

Pierre Ganty

This author has not been identified. Look up 'Pierre Ganty' in Google

Radu Iosif

This author has not been identified. Look up 'Radu Iosif' in Google

Filip Konecný

This author has not been identified. Look up 'Filip Konecný' in Google
runs on