APA (7th ed.) Citation

Freitas, L., Woodcock, J., & Fu, Z. (2009). POSIX file store in Z/Eves: An experiment in the verified software repository. Science of Computer Programming, 74(4), 238. https://doi.org/10.1016/j.scico.2008.08.001

Chicago Style (17th ed.) Citation

Freitas, Leo, Jim Woodcock, and Zheng Fu. "POSIX File Store in Z/Eves: An Experiment in the Verified Software Repository." Science of Computer Programming 74, no. 4 (2009): 238. https://doi.org/10.1016/j.scico.2008.08.001.

MLA (9th ed.) Citation

Freitas, Leo, et al. "POSIX File Store in Z/Eves: An Experiment in the Verified Software Repository." Science of Computer Programming, vol. 74, no. 4, 2009, p. 238, https://doi.org/10.1016/j.scico.2008.08.001.