Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Graf, Susanne ; Viswanathan, Mahesh Viswanathan, Mahesh ; Graf, Susanne ; Graf, Susanne ; Viswanathan, Mahesh

Netherlands: Springer Nature 2015

Texto completo disponível