Attività di ricerca di Parisi Presicce, Francesco

Formal Methods in System Security
Software Engineering and Visual Modeling Techniques
Graph Grammars and Transformation Systems