# Difference between revisions of "Event-B Mathematical Language"

From Event-B

m (orig version) |
m (Robot: Changing Category:User Documentation) |
||

Line 3: | Line 3: | ||

;[[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)'' | ;[[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:User | ||

[[Category:Event-B]] | [[Category:Event-B]] |

## Revision as of 20:27, 10 September 2008

## Event-B mathematical language

- in PDF format
- original version
- 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)*