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.

Reasoning about Loops in Total and General Correctness

Steve Dunne, Ian J. Hayes, Andy Galloway. Reasoning about Loops in Total and General Correctness. In Andrew Butterfield, editor, Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Volume 5713 of Lecture Notes in Computer Science, pages 62-81, Springer, 2008. [doi]

Authors

Steve Dunne

This author has not been identified. Look up 'Steve Dunne' in Google

Ian J. Hayes

This author has not been identified. Look up 'Ian J. Hayes' in Google

Andy Galloway

This author has not been identified. Look up 'Andy Galloway' in Google
runs on