Volume 6
Separation Logic Foundations
Arthur Charguéraud
Read
Download
Version 1.3 (2022-08-28 10:27, Coq 8.15 or later)