/Slides-Incorrectness-Logic

Slides covering the paper Incorrectness Logic (Peter O' Hearn at POPL 2019).

Primary LanguageTeX

No issues in this repository yet.