Gue96

Yves Guerte. Dérivation de programmes impératifs à partir de spécifications algébriques. Thèse de l'Université Claude Bernard, 1996.

Référence BibTex

@PhdThesis{Gue96,
   Author = {Guerte, Yves},
   Title = {Dérivation de programmes impératifs à partir de spécifications algébriques},
   School = {Université Claude Bernard},
   Year = {1996}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)