Disselkoen, C., Eline, A., He, S., Headley, K., Hicks, M., Hietala, K., . . . Wells, A. (2024). How We Built Cedar: A Verification-Guided Approach.
Chicago-Zitierstil (17. Ausg.)Disselkoen, Craig, et al. How We Built Cedar: A Verification-Guided Approach. 2024.
MLA-Zitierstil (9. Ausg.)Disselkoen, Craig, et al. How We Built Cedar: A Verification-Guided Approach. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.