Unification of Theories: A Challenge for Computing Science

מידע ביבליוגרפי
מחבר ראשי: Hoare, C
פורמט: Conference item
יצא לאור: Springer 1995