Formal Methods for Open Object-Based Distributed Systems Elie Najm, Uwe Nestmann, Perdita Stevens 456,60 DKK See product