Difference between pages "Main Page" and "File:Steve Wright Quite Big Model Presentation.pdf"

From Event-B
(Difference between pages)
Jump to navigationJump to search
 
 
Line 1: Line 1:
<big>'''MediaWiki has been successfully installed.'''</big>
+
Slides from Steve Wright's presentation "Experiences with a Quite Big Event-b Model", given at the Rodin workshop, Southampton, July 16th 2009.
 
 
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
 
 
 
== Getting started ==
 
 
 
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
 
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
 
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
 

Latest revision as of 20:49, 30 April 2020

Slides from Steve Wright's presentation "Experiences with a Quite Big Event-b Model", given at the Rodin workshop, Southampton, July 16th 2009.