Proof of correctness for interface instantiation

Hoang, Thai Son Proof of correctness for interface instantiation. [Rodin Archive]

	ZIP Archive (Proof Method (Rodin 2.7.0)) - Supplemental Material 26Kb
	ZIP Archive (Proof of Interface Instantiation Lattice) - Supplemental Material 376Kb
	ZIP Archive (Proof of refinement of event E2 by G2) - Supplemental Material 35Kb

Item Type:	Rodin Archive
Subjects:	Methodology > Composition and reuse
ID Code:	364
Deposited By:	Thai Son Hoang
Deposited On:	20 Jan 2012 23:31
Last Modified:	18 Feb 2013 09:48

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.