devlibrary

Software Foundations Vol 6: Separation Logic Foundations

by Arthur Charguéraud
Software engineering
Read now