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.
PhD Defense: Graph-based Software Specification and VerificationWhen: Oct. 3, 2008, 0:00 - Oct. 3, 2008, 23:59 Who: Harmen Kastenberg To be announced. |