A small experiment in Event-B rippling

Gudmund Grov, Alan Bundy, Lucas Dixon

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageEnglish
Title of host publicationProceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010
Publication statusPublished - 2010

Access to Document

    Cite this