Volume 6
Separation Logic Foundations
Arthur Charguéraud
Read
Download
Version 2.3 (2025-01-06 19:52, Coq 8.20 or later)