Generic Instantiation

From Event-B
Revision as of 17:06, 26 March 2010 by Son (talk | contribs)
Jump to: navigation, search

The initial proposal from Southampton is as follows. File:Proposal generic instantiation rodin.pdf.

Issues: Instantiation of Carrier Sets