EasyChair Smart SlideDocs/Log in
Author: Etienne Payet

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

Automated Theorem Proving for Prolog Verification

Automated Theorem Proving for Prolog Verification

Fred Mesnard, Thierry Marianne and Etienne Payet

Checking Array Bounds by Abstract Interpretation and Symbolic Expressions

Checking Array Bounds by Abstract Interpretation and Symbolic Expressions

Etienne Payet and Fausto Spoto

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