Generic Instantiation

From Event-B
Revision as of 17:05, 26 March 2010 by Son (talk | contribs) (New page: The initial proposal from Southampton is as follows. Proposal for generic instantiation of machines.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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