EasyChair Smart SlideUser guide
Author: Micaela Mayero

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

Program and Proof in F* of an LTL Model Checking Algorithm

Program and Proof in F* of an LTL Model Checking Algorithm

Stéphane Aubry, Franck Butelle, Sami Evangelista and Micaela Mayero

Monomial and Graded Orders in Rocq

Monomial and Graded Orders in Rocq

Sylvie Boldo, Francois Clement, Vincent Martin and Micaela Mayero

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair