Events

e59
August 31, 2006GT-VC 2006: Graph Transformation for Verification and Concurrency, 2006

To be announced.