02 November 2008
EECS 762 - Blog | 09 November 2008 | 26 October 2008

Axiomatic semantics beginnings

08/11/08 01:22 Filed in: Lectures
Starting axiomatic semantics by defining the meaning of a Hoare triple. Read More...

Project 2 due date

07/11/08 16:41 Filed in: Projects
Project 2 due date is set for November 17