Difference between pages "Event-B Mathematical Language" and "File:LastChange.png"
From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu |
|
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]
| |
− | ;[[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