Unification of Theories: A Challenge for Computing Science

Bibliografske podrobnosti
Glavni avtor: Hoare, C
Format: Conference item
Izdano: Springer 1995