Alexandre Moine

6
Documents

Publications

Publications

Image document

Specification and Verification of a Transient Stack

Alexandre Moine , Arthur Charguéraud , François Pottier
CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩
Communication dans un congrès hal-03472028 v1