Search results

From Event-B
Jump to navigationJump to search

Create the page "M:Help:Namespace" on this wiki! See also the page found with your search.

  • Modularisation Plug-in
    <math>r:=m.left()+n.right() </math> ...nd <math>right()</math> are the operation names provided by the modules ''m'' and ''n''. Names
    18 KB (2,784 words) - 10:57, 6 September 2010
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’