Publications RSS Feed
 

An open extensible tool environment for Event-B

Abrial, J. R., Butler, M., Hallerstede, S. and Voisin, L. (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.


Downloads

pdfPDF - Requires Adobe Acrobat Reader or other PDF viewer.470Kb

Authors

Editors

  • Zhiming Liu
  • Jifeng He

Corrections

ECS staff and postgraduates may modify this record.

Tagging

Download Statistics

Last month

Last year

Members of ECS may view the download statistics dashboard for this record.

Metadata

Metadata available via OAI as: oai_dc (unqualified dublin core)

The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/perl/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints
  Welcome from Deputy Head of School (Research) Research Prospectus New Research Students Notes for Guidance New Research Students Notes for Guidance