Exercises on Separation Logic

19 dezembro 2019, 12:30 • João Fernando Ferreira

Exercises on Separation Logic: assertions and proving small programs.