Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
Elie Najm
,
Uwe Nestmann
,
Perdita Stevens
Details
OL Work ID
OL27347431W
Find this book
Open Library