Extension Points and Extensions

From Event-B
Jump to: navigation, search

This tutorial describes the definition and usage of the Eclipse extension point mechanism.