ADVANCE D3.2 Improvement of automated proof

From Event-B
Revision as of 09:58, 5 June 2012 by imported>Tommy (Fixed indentation levels.)
Jump to navigationJump to search

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.

References

Retrieved from ‘https://wiki.event-b.org/index.php?title=ADVANCE_D3.2_Improvement_of_automated_proof&oldid=170’