Section: Dissemination
PhD and habilitation theses defended
Thomas Genet defended his Habilitation thesis “Reachability Analysis of Rewriting for Software Verification” on November 30 [9] .
Team
Celtique
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography