Volume 6
Separation Logic Foundations
Arthur Charguéraud
Read
Download
Version 2.1 (2024-01-03 14:54, Coq 8.17 or later)