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,…
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,…