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.

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Jens Katelaan, Christoph Matheja, Thomas Noll 0001, Florian Zuleger. Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. In Gilles Barthe, Konstantin Korovin, Stephan Schulz 0001, Martin Suda 0001, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018. Volume 9 of Kalpa Publications in Computing, pages 23-36, EasyChair, 2018. [doi]

Authors

Jens Katelaan

This author has not been identified. Look up 'Jens Katelaan' in Google

Christoph Matheja

This author has not been identified. Look up 'Christoph Matheja' in Google

Thomas Noll 0001

This author has not been identified. Look up 'Thomas Noll 0001' in Google

Florian Zuleger

This author has not been identified. Look up 'Florian Zuleger' in Google
runs on