EasyChair Smart SlideDocs/Log in
Author: Thomas Letan

This page shows all presentations of this author published in EasyChair Smart Slide.

Modular Verification of Programs with Effects and Effect Handlers in Coq

Modular Verification of Programs with Effects and Effect Handlers in Coq

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier and Guillaume Hiet

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair