Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic. / Rowe, Reuben.
2016.Research output: Contribution to conference › Abstract
Unpublished
Documents
- Abstract
Final published version, 169 KB, PDF document
| Original language | English |
|---|---|
| Publication status | Unpublished - 7 Aug 2016 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 34708687