Towards safety guarantees for service-oriented systems.

Basil Becker

Browse the full ICSE paper archive.