APA (7th ed.) Citation

Groote, J. F., & Huisman, M. (2024). Formal Methods for Industrial Critical Systems. International Journal on Software Tools for Technology Transfer, 26(2), 127. https://doi.org/10.1007/s10009-024-00744-3

Chicago Style (17th ed.) Citation

Groote, Jan Friso, and Marieke Huisman. "Formal Methods for Industrial Critical Systems." International Journal on Software Tools for Technology Transfer 26, no. 2 (2024): 127. https://doi.org/10.1007/s10009-024-00744-3.

MLA (9th ed.) Citation

Groote, Jan Friso, and Marieke Huisman. "Formal Methods for Industrial Critical Systems." International Journal on Software Tools for Technology Transfer, vol. 26, no. 2, 2024, p. 127, https://doi.org/10.1007/s10009-024-00744-3.