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.

Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL

Alasdair Armstrong, Georg Struth, Tjark Weber. Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. In Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, editors, Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Volume 7998 of Lecture Notes in Computer Science, pages 197-212, Springer, 2013. [doi]

Authors

Alasdair Armstrong

This author has not been identified. Look up 'Alasdair Armstrong' in Google

Georg Struth

This author has not been identified. Look up 'Georg Struth' in Google

Tjark Weber

This author has not been identified. Look up 'Tjark Weber' in Google
runs on