Template:News
From Event-B
Revision as of 10:06, 23 January 2009 by imported>Mathieu (→Displayed as follow on the Main Page: red link)
Displayed as follow on the Main Page
- 12/01/08: Event-B Examples page initiated.
- 05/01/08: Mailing lists are now operational.
- 11/12/08: Pages related to indexing topic (see also [1] & [2])
- 11/12/08: EMF framework for Event-B proposal
- 10/12/08: Proof Purger documentation and design
