APA (7th ed.) Citation

Gladisch, C., & Tyszberowicz, S. (2015). Specifying linked data structures in JML for combining formal verification and testing. Science of computer programming, 107-108, 19-40. https://doi.org/10.1016/j.scico.2015.02.005

Chicago Style (17th ed.) Citation

Gladisch, Christoph, and Shmuel Tyszberowicz. "Specifying Linked Data Structures in JML for Combining Formal Verification and Testing." Science of Computer Programming 107-108 (2015): 19-40. https://doi.org/10.1016/j.scico.2015.02.005.

MLA (9th ed.) Citation

Gladisch, Christoph, and Shmuel Tyszberowicz. "Specifying Linked Data Structures in JML for Combining Formal Verification and Testing." Science of Computer Programming, vol. 107-108, 2015, pp. 19-40, https://doi.org/10.1016/j.scico.2015.02.005.