This site has been permanently archived. This is a static copy provided by the University of Southampton.

Refinement by Interface Instantiation

Hallerstede, Stefan and Hoang, Thai Son (2012) Refinement by Interface Instantiation. In: ABZ 2012, 19-21 June 2012, Pisa, Italy.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	Methodology > Composition and reuse Event-B > Event-B Theory
ID Code:	416
Deposited By:	Thai Son Hoang
Deposited On:	09 Jul 2012 14:36
Last Modified:	09 Jul 2012 14:36

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.