Search results

From Event-B
Jump to navigationJump to search

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

  • Inference Rules
    ...on to this page shall be announced on the [[#Mailing_lists |User]] mailing list!</font> ...a set of relations (any arrow) and <math>\mathbf{P}</math> is WD strict || M
    36 KB (5,611 words) - 10:22, 1 February 2024
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’