Books by Arthur Charguéraud

📖

Software Foundations Vol 6: Separation Logic Foundations Software engineering