Sound development of secure service-based systems.

Martin R. Deubler, Johannes Grnbauer, Jan Jrjens, Guido Wimmel

Browse the full ICSOC paper archive.