Extension Points and Extensions
From Event-B
Jump to navigationJump to searchThis tutorial describes the definition and usage of the Eclipse extension point mechanism.
- This page was last modified on 7 May 2010, at 09:50.
- Privacy policy
- About Event-B
- Disclaimers