Unification of Theories: A Challenge for Computing Science

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Hoare, C
Ձևաչափ: Conference item
Հրապարակվել է: Springer 1995