APA (7th ed.) Citation

Tsukada, T., Unno, H., Padon, O., & Shoham, S. (2025). A Primal-Dual Perspective on Program Verification Algorithms (Extended Version).

Chicago Style (17th ed.) Citation

Tsukada, Takeshi, Hiroshi Unno, Oded Padon, and Sharon Shoham. A Primal-Dual Perspective on Program Verification Algorithms (Extended Version). 2025.

MLA (9th ed.) Citation

Tsukada, Takeshi, et al. A Primal-Dual Perspective on Program Verification Algorithms (Extended Version). 2025.