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.

Loop Refinement Using Octagons and Satisfiability

Volker Kamin, Thomas Noll. Loop Refinement Using Octagons and Satisfiability. In Ralf Huuck, Gerwin Klein, Bastian Schlich, editors, 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010. USENIX Association, 2010. [doi]

Abstract

Abstract is missing.

runs on