Prover Diagrams: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Andy No edit summary |
imported>Andy No edit summary |
||
Line 4: | Line 4: | ||
These diagrams describe which classes have access to information in other classes | These diagrams describe which classes have access to information in other classes | ||
[[Image:ProofStatus.png|thumb|Proof Status Diagram]] |
Revision as of 13:42, 5 May 2009
This Page is Under Construction !!!
Entity Relationship Diagrams for the Prover
These diagrams describe which classes have access to information in other classes