Hallerstede, Stefan Structured Event-B Models and Proofs. [Rodin Archive]
![]() | ZIP Archive (Extended GCD Algorithm) - Supplemental Material 2251Kb |
Abstract
For details about this Rodin Model see Hallerstede: Structured Event-B Models and Proofs Published in ABZ 2010, 2010, LNCS, Springer-Verlag
Item Type: | Rodin Archive |
---|---|
Subjects: | Methodology > Composition and reuse Event-B > Event-B Theory |
ID Code: | 229 |
Deposited By: | Jens Bendisposto |
Deposited On: | 11 Jun 2010 10:41 |
Last Modified: | 11 Jun 2010 10:41 |
Repository Staff Only: item control page