Formal Modelling of Service-Oriented Systems.

Antnia Lopes

Browse the full MEDI paper archive.