An open extensible tool environment for Event-B
2006) 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. (
ECS staff and postgraduates may modify this record.
Members of ECS may view the download statistics dashboard for this record.
Metadata available via OAI as: oai_dc (unqualified dublin core)