Adding Reasoners(How to extend Rodin Tutorial)

From Event-B
Revision as of 16:13, 24 September 2010 by imported>Tommy (New page: {{Navigation|Previous= Generating the proof obligations | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
<prev: Generating the proof obligations ^up: How to extend Rodin Tutorial (Index)

In this part

Principles

Step1

Step2

Step3

<prev: Generating the proof obligations ^up: How to extend Rodin Tutorial (Index)
Retrieved from ‘https://wiki.event-b.org/index.php?title=Adding_Reasoners(How_to_extend_Rodin_Tutorial)&oldid=657’