Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-25T04:26:03.706Z Has data issue: false hasContentIssue false
  • English
  • Français

Modeling in Event-B – System and Software EngineeringJean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561

Review products

Modeling in Event-B – System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561

Published online by Cambridge University Press:  09 May 2012

EERKE BOITEN
EERKE BOITEN*
Affiliation:
School of Computing, University of Kent, Canterbury, UK
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Book Review
Information
Journal of Functional Programming , Volume 22 , Issue 2 , March 2012 , pp. 217 - 219
Copyright
Copyright © Cambridge University Press 2012

References

Boiten, Eerke (2011) Perspicuity and granularity in refinement, Refinement Workshop, EPTCS 55, pp 155–165. DOI: 10.4204/EPTCS.55.10Google Scholar
Hallerstede, Stefan (2009) Proving quicksort correct in Event-B, Refinement Workshop, ENTCS 259, pp 47–65, DOI: 10.1016/j.entcs.2009.12.017Google Scholar
Schneider, Steve, Treharne, Helen & Wehrheim, Heike (2011) A CSP account of Event-B refinement, Refinement Workshop, EPTCS 55, pp 139–154. DOI: 10.4204/EPTCS.55.9Google Scholar
Submit a response

Discussions

No Discussions have been published for this article.