Pascal André, Christian Attiogbé, Jean-Marie Mottu. Combining Techniques to Verify Service-based Components. In Luís Ferreira Pires, Slimane Hammoudi, Bran Selic, editors, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017. pages 645-656, SciTePress, 2017. [doi]
Abstract is missing.