Unification of Theories: A Challenge for Computing Science

Opis bibliograficzny
1. autor: Hoare, C
Format: Conference item
Wydane: Springer 1995