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
Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers
Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers
Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings