Extending Camille

From Event-B
Jump to navigationJump to search

This page will document the decisions regarding the extension mechanism for Camille.

Proposal: Media:extending_camille.pdf