Locating crosscutting concerns in the formal specification of distributed reactive systems.

Jos Juan Pazos-Arias, Jorge Garca Duque, Martn Lpez Nores

Browse the full ICSE paper archive.