Template:News
From Event-B
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 Rodin proposal
- 10/12/08: Proof Purger documentation and design
