Predicate variables: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy |
imported>Laurent m Fixed double redirect. |
||
| Line 1: | Line 1: | ||
#REDIRECT [[Predicate | #REDIRECT [[Predicate Variables Extension]] | ||
Latest revision as of 12:44, 26 November 2010
Redirect to:
