EasyChair Smart SlideDocs/Log in
Author: François Bobot

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

An SMT Theory for N-Indexed Sequences

An SMT Theory for N-Indexed Sequences

Hichem Rami Ait El Hara, François Bobot and Guillaume Bury

Verifying Models with Dolmen

Verifying Models with Dolmen

Guillaume Bury and François Bobot

Centralizing Equality Reasoning in MCSAT

Centralizing Equality Reasoning in MCSAT

François Bobot, Stéphane Graham-Lengrand, Bruno Marre and Guillaume Bury

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