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.

Unbounded-Thread Program Verification using Thread-State Equations

Konstantinos Athanasiou, Peizun Liu, Thomas Wahl. Unbounded-Thread Program Verification using Thread-State Equations. In Nicola Olivetti, Ashish Tiwari, editors, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Volume 9706 of Lecture Notes in Computer Science, pages 516-531, Springer, 2016. [doi]

Authors

Konstantinos Athanasiou

This author has not been identified. Look up 'Konstantinos Athanasiou' in Google

Peizun Liu

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

Thomas Wahl

This author has not been identified. Look up 'Thomas Wahl' in Google
runs on