Talk:The Celebrity Problem (Rodin Tutorial)
From Event-B
Revision as of 14:39, 24 June 2009 by 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)...)
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)...