Sciweavers

ASM
2010
ASM

Supporting Reuse in Event B Development: Modularisation Approach

14 years 8 months ago
Supporting Reuse in Event B Development: Modularisation Approach
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,
Added 11 Mar 2010
Updated 11 Mar 2010
Type Conference
Year 2010
Where ASM
Authors Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Comments (0)