Difference between revisions of "D23 Rule-based Prover"
From Event-B
Jump to navigationJump to searchimported>Im06r |
imported>Im06r |
||
| Line 1: | Line 1: | ||
==Overview== | ==Overview== | ||
| − | ==Decisions== | + | ==Motivations== |
| + | |||
| + | ==Choices/Decisions== | ||
| + | |||
| + | ==Available Documentation== | ||
| + | |||
| + | ==Planning == | ||
