Specification and Verification of a Transient Stack
Channel: Alexandre Moine
Date: 2022-01-13

This is a presentation of the CPP'22 paper: 
Specification and Verification of a Transient Stack by Alexandre Moine, Arthur Charguéraud and François Pottier.

https://doi.org/10.1145/3497775.3503677