Vasco T Vasconcelos

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Programming Languages and Systems

Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, Discotec 2018, Madrid, Spain...