Formal methods for open object-based distributed systems (e-book)
Barthe, Gilles
Formal methods for open object-based distributed systems (e-book) - Berlin Springer 2008 - Lecture Notes in Computer Science (LNCS) v.5051 .
978-3-540-68863-1
Formal methods for open object-based distributed systems (e-book) - Berlin Springer 2008 - Lecture Notes in Computer Science (LNCS) v.5051 .
978-3-540-68863-1