History and Philosophy of Computing History and Philosophy of Computing
2016
Graph Transformation Graph Transformation
2020
Architecting Dependable Systems VI Architecting Dependable Systems VI
2009