Volume 6
Separation Logic Foundations
Arthur Charguéraud
Read
Download
Version 1.1 (2021-08-11 15:27, Coq 8.12 or later)