Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Advanced Search
Home
 
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Publication Type
 
Sign on to:
Receive email
updates
My ERA
authorized users
Edit Profile
 
About DSpace

Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/4772

This item has been viewed 1 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
BundyA_A small experiment in Event-B rippling.pdf2.35 MBAdobe PDFView/Open
Title: A Small Experiement in Event-b Rippling
Authors: Grov, Gudmund,
Bundy, Alan
Dixon, Lucas
Issue Date: 3-Feb-2011
Journal Title: Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010
URI: http://wiki.event-b.org/images/Rodin2010-sld-grov_etal.pdf
http://hdl.handle.net/1842/4772
Appears in Collections:Informatics Publications

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.

 
Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback