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