Unification of Theories: A Challenge for Computing Science

Библиографические подробности
Главный автор: Hoare, C
Формат: Conference item
Опубликовано: Springer 1995