APA-Zitierstil (7. Ausg.)

Shimon, Y. B., Lahav, O., & Shoham, S. (2024). Hyperproperty-Preserving Register Specifications (Extended Version).

Chicago-Zitierstil (17. Ausg.)

Shimon, Yoav Ben, Ori Lahav, und Sharon Shoham. Hyperproperty-Preserving Register Specifications (Extended Version). 2024.

MLA-Zitierstil (9. Ausg.)

Shimon, Yoav Ben, et al. Hyperproperty-Preserving Register Specifications (Extended Version). 2024.