Volume 6
Separation Logic Foundations
Arthur Charguéraud
Read
Download
Version 1.0 (2021-05-26 09:49, Coq 8.12 or later or later)