APA (7th ed.) Citation

Jones, C. B. (2024). Three Early Formal Approaches to the Verification of Concurrent Programs. Minds & Machines, 34, 73. https://doi.org/10.1007/s11023-023-09621-5

Chicago Style (17th ed.) Citation

Jones, Cliff B. "Three Early Formal Approaches to the Verification of Concurrent Programs." Minds & Machines 34 (2024): 73. https://doi.org/10.1007/s11023-023-09621-5.

MLA (9th ed.) Citation

Jones, Cliff B. "Three Early Formal Approaches to the Verification of Concurrent Programs." Minds & Machines, vol. 34, 2024, p. 73, https://doi.org/10.1007/s11023-023-09621-5.