APA (7th ed.) Citation

Jones, C. B., & Thomas, M. (2020). The development and deployment of formal methods in the UK.

Chicago Style (17th ed.) Citation

Jones, Cliff B., and Martyn Thomas. The Development and Deployment of Formal Methods in the UK. 2020.

MLA (9th ed.) Citation

Jones, Cliff B., and Martyn Thomas. The Development and Deployment of Formal Methods in the UK. 2020.

Warning: These citations may not always be 100% accurate.