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