Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic. / Rowe, Reuben.
2016.Research output: Contribution to conference › Abstract › peer-review
Final published version, 169 KB, PDF document
Original language | English |
---|---|
Publication status | Unpublished - 7 Aug 2016 |
ID: 34708687