ABZ 2014 Case Study
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.
The full description of the case study can be found here.
Other ProB Live Visualisations
ProB Visualisation of [x] after fix
ProB Live Visualisation (click to join)
ProB BMotion Studio Video
{{#ev:youtube|wFr_pEjbpqo|640}}