Dubois, C., & Giorgetti, A. (2018). Tests and proofs for custom data generators. Formal aspects of computing, 30(6), 659-684. https://doi.org/10.1007/s00165-018-0459-1
Chicago-Zitierstil (17. Ausg.)Dubois, Catherine, und Alain Giorgetti. "Tests and Proofs for Custom Data Generators." Formal Aspects of Computing 30, no. 6 (2018): 659-684. https://doi.org/10.1007/s00165-018-0459-1.
MLA-Zitierstil (9. Ausg.)Dubois, Catherine, und Alain Giorgetti. "Tests and Proofs for Custom Data Generators." Formal Aspects of Computing, vol. 30, no. 6, 2018, pp. 659-684, https://doi.org/10.1007/s00165-018-0459-1.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.