PhD Defense: Graph-based Software Specification and Verification

When: Oct. 3, 2008, 0:00 - Oct. 3, 2008, 23:59

Who: Harmen Kastenberg

To be announced.