Events

e71
October 03, 2008PhD Defense: Graph-based Software Specification and Verification
Harmen Kastenberg

To be announced.