Table of Contents

Post-Doc 2012-2013

Paper

Projects

ATER 2011-2012

Paper

ANR

ATER 2010-2011

Thesis 2007-2010

Papers

Project

Master Reports Informatique Fondamentale 2007

Vers la vérification automatique de services web.