Sign in
Join Literal
Authors
Author
Martin Steffen
Books
Formal Methods for Open Object-Based Distributed Systems
Gianluigi Zavattaro, Martin Steffen