APA (7th ed.) Citation

Huisman, M., Klebanov, V., Monahan, R., & Tautschnig, M. (2017). VerifyThis 2015. International Journal on Software Tools for Technology Transfer, 19(6), 763. https://doi.org/10.1007/s10009-016-0438-x

Chicago Style (17th ed.) Citation

Huisman, Marieke, Vladimir Klebanov, Rosemary Monahan, and Michael Tautschnig. "VerifyThis 2015." International Journal on Software Tools for Technology Transfer 19, no. 6 (2017): 763. https://doi.org/10.1007/s10009-016-0438-x.

MLA (9th ed.) Citation

Huisman, Marieke, et al. "VerifyThis 2015." International Journal on Software Tools for Technology Transfer, vol. 19, no. 6, 2017, p. 763, https://doi.org/10.1007/s10009-016-0438-x.