Unification of Theories: A Challenge for Computing Science

Manylion Llyfryddiaeth
Prif Awdur: Hoare, C
Fformat: Conference item
Cyhoeddwyd: Springer 1995