IIT Home Page CNR Home Page

Verification

Pubblicazioni e prodotti editoriali prima del 01/01/2016

Preserving Security Properties under Refinement

Pubblicazioni e prodotti editoriali dal 01/01/2016

A language-based approach to modelling and analysis of Twitter interactions