Software Foundations Vol 6: Separation Logic Foundations

by Arthur Charguéraud
Software engineering
Read online