Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

Research output: Contribution to conferenceAbstractpeer-review

25 Downloads (Pure)
Original languageEnglish
Publication statusUnpublished - 7 Aug 2016

Cite this