Exercises on Separation Logic (aula online)

10 dezembro 2020, 12:30 • João Fernando Ferreira

Exercises on Separation Logic: assertions and proving small programs.

Discussion on the project.