Unification of Theories: A Challenge for Computing Science

Xehetasun bibliografikoak
Egile nagusia: Hoare, C
Formatua: Conference item
Argitaratua: Springer 1995