Formalization of Secure Service Oriented Product Line.

Ines Achour, Lamia Labed, Henda Hajjami Ben Ghzala

Browse the full ICSoft paper archive.