|
An open extensible tool environment for Event-B2006) An open extensible tool environment for Event-B. In Proceedings of ICFEM 2006 Lecture Notes in Computer Science 4260, Macau. Liu, Z. and He, J., Eds. ( Downloads
Authors
Editors
CorrectionsECS staff and postgraduates may modify this record. TaggingDownload StatisticsMembers of ECS may view the download statistics dashboard for this record. MetadataMetadata available via OAI as: oai_dc (unqualified dublin core)
|
---|