Completeness of Iris-Based Program Logics
Date:
A talk at the Sixth Edition of the Iris Workshop.
Credit: Simon Oddershede Gregersen.
Slides: pdf; pdf with speaker notes; tex
Credit: Simon Oddershede Gregersen.
Credit: Simon Oddershede Gregersen.
Date:
A talk at the Sixth Edition of the Iris Workshop.
Slides: pdf; pdf with speaker notes; tex