Books by Lennart Beringer

📖

Software Foundations Vol 5: Verifiable C Software engineering C