Unification of Theories: A Challenge for Computing Science

Bibliografiset tiedot
Päätekijä: Hoare, C
Aineistotyyppi: Conference item
Julkaistu: Springer 1995