Publication:

Interactive proofs in higher-order concurrent separation logic

Date

2017

Journal article

Simple item page Full metadata Statistics

Author(s)

Krebbers, Robert

;

;

Journal

ACM SIGPLAN Notices

Metrics

1945 since deposited on 2021-10-24

Acq. date: 2025-12-12