Didier Bert, Rachid Echahed. On the operational semantics of the algebraic and logic language LPG. In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, selected papers, LNCS, Volume 906, Pages 132-152, 1995.
@InProceedings{CIC:Bert95d,
Author = {Bert, Didier and Echahed, Rachid},
Title = {{On the operational semantics of the algebraic and logic language LPG}},
BookTitle = {Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, selected papers},
Volume = {906},
Pages = {132--152},
Series = {LNCS},
Publisher = {Springer-Verlag},
Year = {1995}
}
Charger la référence EndNote (.ref)