Talk:The Celebrity Problem (Rodin Tutorial): Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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)...
