APA-Zitierstil (7. Ausg.)

Correnson, A., Zeng, H., & Hofmann, J. (2026). A Deductive System for Contract Satisfaction Proofs.

Chicago-Zitierstil (17. Ausg.)

Correnson, Arthur, Haoyi Zeng, und Jana Hofmann. A Deductive System for Contract Satisfaction Proofs. 2026.

MLA-Zitierstil (9. Ausg.)

Correnson, Arthur, et al. A Deductive System for Contract Satisfaction Proofs. 2026.