Flexible modular formalization of UML sequence diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Luciano Baresi

Look up 'Luciano Baresi' in GoogleThis author has not been identified. Look up 'Mohammad Mehdi Pourhashem Kallehbasti' in GoogleThis author has not been identified. Look up 'Matteo Rossi' in Google

runs on WebDSL