T-02:vasco-03

Marie-Laure Potet. Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. Habilitation à diriger des recherches INPG, Grenoble, France, December 2002.

Download

Download paper: (link)

Copyright notice:

Contact

Marie-Laure Potet

BibTex Reference

@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},
}

EndNote Reference [help]

Get EndNote Reference (.ref)