1
Published 2018
Springer International Publishing
... Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018...