Edinburgh Research Explorer

A small experiment in Event-B rippling

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Download statistics

No data available

ID: 7553353