The Mathematical Language (Rodin User Manual)
From Event-B
The syntax, type-checking and well-definedness conditions of the mathematical language are described in a separate document entitled "The Event-B Mathematical Language".
n
The syntax, type-checking and well-definedness conditions of the mathematical language are described in a separate document entitled "The Event-B Mathematical Language".
n