Documents 1 Model-Checking in the Early Lifecycle Zoë Stephenson.

Model-Checking in the Early Lifecycle Zoë Stephenson Acknowledgements The work presented here was conducted under the MOSAIC project, project number TP/3/DSM/6/I/15780,…

Documents Model-Checking in the Early Lifecycle

Model-Checking in the Early Lifecycle Zoë Stephenson Acknowledgements The work presented here was conducted under the MOSAIC project, project number TP/3/DSM/6/I/15780,…