Template:Main Page/User Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Add Event-B Examples |
imported>Mathieu |
||
| Line 13: | Line 13: | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small> | <div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>[[:Category:Examples|''Examples'' category]]</small></div>[[Event-B Examples|Example models with Event-B]] | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
