Location of Repository

A Small Experiement in Event-b Rippling

By Gudmund Grov, Alan Bundy and Lucas Dixon
Year: 2010
OAI identifier: oai:www.era.lib.ed.ac.uk:1842/4772

Suggested articles

Preview


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.