Cyclic proofs of program termination in separation logic. Forthcoming
by
James Brotherston
| Citations: | 9 - 2 self |
Document Versions
| Cyclic proofs of program termination in separation logic. Forthcoming –James Brotherston |
| Cyclic proofs of program termination in separation logic. Forthcoming –James Brotherston |
