Abstract Operational Semantics for Use Case Maps.

Jameleddine Hassine, Juergen Rilling, Rachida Dssouli

Browse the full FORTE paper archive.