This page shows all presentations of this author published in EasyChair Smart Slide.
Visualization of Execution Traces in Colibri 2 SMT Solver
Christophe Junke and François Bobot