Accreditation to supervise research

These written and oral presentations, and all the material contained within, are protected by copyright law.

Reachability analysis of rewriting for software verification

2009 November, 30

Language: French

video

Summary: No avalaible summary in english

These written and oral presentations, and all the material contained within, are protected by copyright law. Consequently, any unauthorized reproduction, representation, adaptation, partial or complete translation, without prior written permission of the author, is strictly prohibited. Inria, CNRS, Université de Rennes 1 and Insa have received permission from each of the authors to reproduce and present their written and oral presentations and all the material contained within, on this website.

IRISA

Sections

Accreditation to supervise research

Reachability analysis of rewriting for software verification