Generic Instantiation
From Event-B
Revision as of 16:05, 26 March 2010 by imported>Son (New page: The initial proposal from Southampton is as follows. Proposal for generic instantiation of machines.)
The initial proposal from Southampton is as follows. File:Proposal generic instantiation rodin.pdf.