Events

e61
August 22, 2005GT-VC 2005: Graph Transformation for Verification and Concurrency, 2005

To be announced.