Marie-Laure Potet. Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. Habilitation à diriger des recherches de l'INPG, Grenoble, France, Décembre 2002.
Charger l'article : (link)
Copyright :
@PhdThesis{T-02:vasco-03,
Author = {Potet, Marie-Laure},
Title = {{Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B}},
School = {INPG},
Address = {Grenoble, France},
Month = {December},
Year = {2002}
type = {Habilitation à diriger les recherches},
}
Charger la référence EndNote (.ref)