Fabio Gadducci

• History and Philosophy of Computing
• Architecting Dependable Systems VI
• Graph Transformation