Formal Methods Wiki

Discussion about the Z notation is welcome here. — Jonathan Bowen 15:44, 29 March 2009 (UTC)