Unification of Theories: A Challenge for Computing Science

Dettagli Bibliografici
Autore principale: Hoare, C
Natura: Conference item
Pubblicazione: Springer 1995