Bibtex de la publication

@PhDThesis{ Ob2010.3,
author = {Ober, Iulian},
title = "{Observer pour vérifier, contraindre et interagir. Applications de l'observation à la construction et à la validation des systèmes logiciels}",
year = {2010},
month = {décembre},
type = {Habilitation à diriger des recherches},
school = {Université de Toulouse-le-Mirail},
address = {Toulouse, France},
language = {francais}
}