Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

Research output: Contribution to conference › Abstract › peer-review

64 Downloads (Pure)

Original language	English
Publication status	Unpublished - 7 Aug 2016

Access to Document

AbstractFinal published version, 169 KB

Other files and links

Web page of the Seventh Workshop on Tools for Automatic Program Analysis

Cite this