Flexible modular formalization of UML sequence diagrams.

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

Browse the full ICSE paper archive.