Team Lande

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

Section: Dissemination

PhD theses defended

Tristan Denmat, Contraintes et abstractions pour la génération automatique de données de test , PhD Université Rennes 1, on June 5th, 2008  [10] .

Matthieu Petit, Test statistique structurel par résolution de contraintes de choix probabiliste , PhD Université Rennes 1, on July 4th, 2008  [11] .

Pascal Sotin, Quantitative Aspects of Program Analysis , PhD Université Rennes 1, on December 5th, 2008  [12] .

Tiphaine Turpin, Pruning program invariants, Élagage d'invariants de programmes , PhD Université Rennes 1, on December 15th, 2008  [13] .


previous
next

Logo Inria