Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 95, Grenoble, 1995.
@Misc{Ledru95c,
Author = {Ledru, Y.},
Title = {Utilisation pratique des spécifications formelles},
BookTitle = {Tutoriel Congrès INFORSID 95},
Address = {Grenoble},
Year = {1995}
}
Get EndNote Reference (.ref)