APA (7th ed.) Citation

Demyanova, Y., Zuleger, F., & TU Wien, Ö. (2020). Systematic study of variable roles and their use in software verification. https://doi.org/10.34726/hss.2018.54905

Chicago Style (17th ed.) Citation

Demyanova, Yulia, Florian Zuleger, and Österreich TU Wien. Systematic Study of Variable Roles and Their Use in Software Verification. 2020. https://doi.org/10.34726/hss.2018.54905.

MLA (9th ed.) Citation

Demyanova, Yulia, et al. Systematic Study of Variable Roles and Their Use in Software Verification. 2020. https://doi.org/10.34726/hss.2018.54905.