Tiziana Margaria profile picture

Tiziana Margaria

Is this your author profile? Create an account to customize it!

Stand Alone

Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings
SAM 2016 Proceedings of the 2016 International Conference on Security & Management
Semantic Web Services Challenge Results from the First Year