Events

e57
September 03, 2007GT-VC 2007: Graph Transformation for Verification and Concurrency, 2007

To be announced.