Difference between pages "Event-B Mathematical Language" and "File:LastChange.png"

@@ Line 1: / Line 1: @@
-== Event-B mathematical language ==
-;[http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf in PDF format]: original version
-;[[Index (Mathematical language)|in wiki format]]: translated from the original version, and being updated  ''(some formulas are not yet rendered well, but the problem is being worked out)''
-[[Category:User documentation]]
-[[Category:Event-B]]

Latest revision as of 20:50, 30 April 2020