EasyChair Smart SlideDocs/Log in
Author: Eunice Martins

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

A Coq Formalisation of SQL’S Execution Engines

A Coq Formalisation of SQL’S Execution Engines

Véronique Benzaken, Evelyne Contejean, Chantal Keller and Eunice Martins

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