The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec [1] (Distributed Computing Techniques) welke ook of includes…
The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec [1] (Distributed Computing Techniques) welke ook of includes…