APA (7th ed.) Citation

Beyer, D., & Huisman, M. (2020). Tools for the construction and analysis of systems: A special issue for TACAS 2018. International Journal on Software Tools for Technology Transfer, 22(6), 685. https://doi.org/10.1007/s10009-020-00581-0

Chicago Style (17th ed.) Citation

Beyer, Dirk, and Marieke Huisman. "Tools for the Construction and Analysis of Systems: A Special Issue for TACAS 2018." International Journal on Software Tools for Technology Transfer 22, no. 6 (2020): 685. https://doi.org/10.1007/s10009-020-00581-0.

MLA (9th ed.) Citation

Beyer, Dirk, and Marieke Huisman. "Tools for the Construction and Analysis of Systems: A Special Issue for TACAS 2018." International Journal on Software Tools for Technology Transfer, vol. 22, no. 6, 2020, p. 685, https://doi.org/10.1007/s10009-020-00581-0.