Formal Techniques for Distributed Objects, Components, and Systems
-
heftet
,
Engelsk, 2020