Unification of Theories: A Challenge for Computing Science

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hoare, C
Μορφή: Conference item
Έκδοση: Springer 1995