PhD thesis,

A type oriented approach to the specification and formal semantics of a distributed, heterogeneous object system

.
TU Berlin, (1994)

Meta data

Tags

Users

  • @schaal
  • @genealogie
  • @dblp

Comments and Reviews