EasyChair Smart SlideDocs/Log in
Author: Chantal Keller

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

An Interactive SMT Tactic in Coq Using Abductive Reasoning

An Interactive SMT Tactic in Coq Using Abductive Reasoning

Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett

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: 2
Copyright © 2002 – 2024 EasyChair