Edinburgh Research Explorer

A small experiment in Event-B rippling

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

Standard

A small experiment in Event-B rippling. / Grov, Gudmund; Bundy, Alan; Dixon, Lucas.

Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010. 2010.

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

Harvard

Grov, G, Bundy, A & Dixon, L 2010, A small experiment in Event-B rippling. in Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010.

APA

Grov, G., Bundy, A., & Dixon, L. (2010). A small experiment in Event-B rippling. In Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010

Vancouver

Grov G, Bundy A, Dixon L. A small experiment in Event-B rippling. In Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010. 2010.

Author

Grov, Gudmund ; Bundy, Alan ; Dixon, Lucas. / A small experiment in Event-B rippling. Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010. 2010.