APA (7th ed.) Citation

Dillon, L. K. (1990). Verifying General Safety Properties of Ada Tasking Programs. IEEE Transactions on Software Engineering, 16(1), 51. https://doi.org/10.1109/32.44363

Chicago Style (17th ed.) Citation

Dillon, Laura K. "Verifying General Safety Properties of Ada Tasking Programs." IEEE Transactions on Software Engineering 16, no. 1 (1990): 51. https://doi.org/10.1109/32.44363.

MLA (9th ed.) Citation

Dillon, Laura K. "Verifying General Safety Properties of Ada Tasking Programs." IEEE Transactions on Software Engineering, vol. 16, no. 1, 1990, p. 51, https://doi.org/10.1109/32.44363.