Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic. / Rowe, Reuben.

2016.

Research output: Contribution to conferenceAbstract

Unpublished

Documents

  • Abstract

    Final published version, 169 KB, PDF document

Original languageEnglish
Publication statusUnpublished - 7 Aug 2016
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 34708687