SSP Group Meeting
May 27th, 11am, Wednesday
Department of Artificial Intelligence, 80 South Bridge, Room F13


Specifications are Necessarily Informal, or: Some More Myths of Formal Methods - B. Le Charlier and P. Flener

Paper Discussion

Discussion of the paper:

Yannis has just suggested a list of papers related to this one, in case you want to take a look: