Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi. Flexible modular formalization of UML sequence diagrams. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 10-16, ACM, 2014. [doi]
Abstract is missing.