Difference between revisions of "Event-B Language"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 13: | Line 13: | ||
== Proving Tips == | == Proving Tips == | ||
− |
imported>Son |
imported>Son |
||
Line 13: | Line 13: | ||
== Proving Tips == | == Proving Tips == | ||
− |