Unification of Theories: A Challenge for Computing Science

Bibliographische Detailangaben
1. Verfasser: Hoare, C
Format: Conference item
Veröffentlicht: Springer 1995