Formal Methods for Open Object-Based Distributed Systems V
-
nidottu
,
Englanti, 2013