Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems by Mohammad Reza Mousavi, Anna Philippou.
Published by Springer International Publishing AG, (2022), Paperback, 209 pages.