Show simple item record

Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010

dc.contributor.authorGrov, Gudmund,
dc.contributor.authorBundy, Alan
dc.contributor.authorDixon, Lucas
dc.date.accessioned2011-02-03T12:13:51Z
dc.date.available2011-02-03T12:13:51Z
dc.date.issued2011-02-03
dc.identifier.urihttp://wiki.event-b.org/images/Rodin2010-sld-grov_etal.pdfen
dc.identifier.urihttp://hdl.handle.net/1842/4772
dc.language.isoenen
dc.titleA Small Experiement in Event-b Ripplingen
dc.typeConference Paperen
rps.titleProceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010en
dc.date.updated2011-02-03T12:13:52Z
dc.date.openingDate2010-09-20
dc.date.closingDate2010-09-22


Files in this item

This item appears in the following Collection(s)

Show simple item record