Difference between revisions of "Predicate variables"
From Event-B
Jump to navigationJump to searchimported>Tommy (Predicate variables moved to Predicate variables Extension) |
(No difference)
|
Revision as of 10:08, 3 December 2009
Redirect to: