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.

Verifying Numerical Programs via Iterative Abstract Testing

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang 0001, Patrick Cousot. Verifying Numerical Programs via Iterative Abstract Testing. In Bor-Yuh Evan Chang, editor, Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Volume 11822 of Lecture Notes in Computer Science, pages 247-267, Springer, 2019. [doi]

Authors

Banghu Yin

This author has not been identified. Look up 'Banghu Yin' in Google

Liqian Chen

This author has not been identified. Look up 'Liqian Chen' in Google

Jiangchao Liu

This author has not been identified. Look up 'Jiangchao Liu' in Google

Ji Wang 0001

This author has not been identified. Look up 'Ji Wang 0001' in Google

Patrick Cousot

This author has not been identified. Look up 'Patrick Cousot' in Google
runs on