1
Published 2002
Springer US
... important and related fields: Formal methods; Distributed systems; Object-based technology. Such a...