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