Volume 6
Separation Logic Foundations
Arthur Charguéraud
Read
Download
Version 1.4 (2023-03-25 11:51, Coq 8.16 or later)