Software Foundations Vol 6: Separation Logic Foundations

By: Arthur Charguéraud  

Tags: Software engineering  

Read online