314 followers
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications http://t.co/sJjWtnBV7m
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications http://t.co/sJjWtnBV7m