Difference between revisions of "Talk:The Celebrity Problem (Rodin Tutorial)"
From Event-B
Jump to navigationJump to searchimported>GeorgesMariano (New page: 3. First of all, we take a look at the warning stating that the event label "celebrity" is misused. Where ? Can't see any warning (using Celebrity-2007-10-26.zip)...) |
(No difference)
|
Revision as of 14:39, 24 June 2009
3. First of all, we take a look at the warning stating that the event label "celebrity" is misused.
Where ? Can't see any warning (using Celebrity-2007-10-26.zip)...