1. A formal approach to rigorous development of critical systems. Issue 4 (26th January 2021) Authors: Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Thomas S. E.; Wassyng, Alan Journal: Journal of software Issue: Volume 33:Issue 4(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗