Yves Guerte. Dérivation de programmes impératifs à partir de spécifications algébriques. Thèse de l'Université Claude Bernard, 1996.
@PhdThesis{Gue96,
Author = {Guerte, Yves},
Title = {Dérivation de programmes impératifs à partir de spécifications algébriques},
School = {Université Claude Bernard},
Year = {1996}
}
Charger la référence EndNote (.ref)