Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint

Bibtex entry :

@phdthesis { hodique-phd,
    author = { Y. Hodique },
    title = { Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint },
    journal = { PhD Thesis, Univ. Lille 1 },
    year = { 2007 },
    pubdate = { 2007-04 },
    month = { april },
}