APA (7th ed.) Citation

Beyer, D., Huisman, M., Kordon, F., & Steffen, B. (2021). TOOLympics II: Competitions on formal methods: A Special Issue for TOOLympics 2019. International Journal on Software Tools for Technology Transfer, 23(6), 879. https://doi.org/10.1007/s10009-021-00631-1

Chicago Style (17th ed.) Citation

Beyer, Dirk, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen. "TOOLympics II: Competitions on Formal Methods: A Special Issue for TOOLympics 2019." International Journal on Software Tools for Technology Transfer 23, no. 6 (2021): 879. https://doi.org/10.1007/s10009-021-00631-1.

MLA (9th ed.) Citation

Beyer, Dirk, et al. "TOOLympics II: Competitions on Formal Methods: A Special Issue for TOOLympics 2019." International Journal on Software Tools for Technology Transfer, vol. 23, no. 6, 2021, p. 879, https://doi.org/10.1007/s10009-021-00631-1.