CMSC 477/677 - Spring 2005

Discussion Questions for Class #3, February 8
Topic: Formal Methods

Reading: Wooldridge Chap. 3, Levesque et al., "GOLOG...."

Wooldridge

Levesque