D23 Rule-based Prover: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
imported>Im06r
No edit summary
imported>Im06r
Line 1: Line 1:
[[Category:D23_Deliverable]]
==Overview==
==Overview==


Revision as of 18:35, 25 November 2009

Overview

Motivations

Choices/Decisions

Available Documentation

Planning

Retrieved from ‘https://wiki.event-b.org/index.php?title=D23_Rule-based_Prover&oldid=2060’